<?php
/**
 * Print SQL to insert namespace names into database.
 * This source code is in the public domain.
 *
 * @file
 * @ingroup Maintenance
 */

require_once( "commandLine.inc" );

for ($i = -2; $i < 16; ++$i) {
	$nsname = mysql_escape_string( $wgLang->getNsText( $i ) );
	$dbname = mysql_escape_string( $wgDBname );
	print "INSERT INTO ns_name(ns_db, ns_num, ns_name) VALUES('$dbname', $i, '$nsname');\n";
}