利用者の皆様

本サービスで mediawiki 1.38 の用意ができました。
もし 1.37 以前から更新導入を行う場合は、LocalSettings.php の更新が必要です。
下記の変更（数行の削除）を行ってください：

@@ -19,11 +18,6 @@
 	$IP = dirname( __FILE__ );
 }
 
-$path = array( $IP, "$IP/includes", "$IP/languages" );
-set_include_path( implode( PATH_SEPARATOR, $path ) . PATH_SEPARATOR . get_include_path() );
-
-require_once( "$IP/includes/DefaultSettings.php" );
-
 # If PHP's memory limit is very low, some operations may fail.
 # ini_set( 'memory_limit', '20M' );