/?php # This file was automatically generated by the MediaWiki installer. # If you make manual changes, please keep track in case you need to # recreate them later. # # See includes/DefaultSettings.php for all configurable settings # and their default values, but don't forget to make changes in _this_ # file, not there. # If you customize your file layout, set $IP to the directory that contains # the other MediaWiki files. It will be used as a base to locate files. if( defined( 'MW_INSTALL_PATH' ) ) { $IP = MW_INSTALL_PATH; } else { $IP = dirname( __FILE__ ); } $path = array( $IP, "$IP/includes", "$IP/languages" ); set_include_path( implode( PATH_SEPARATOR, $path ) . PATH_SEPARATOR . get_include_path() ); require_once( "includes/DefaultSettings.php" ); # require_once( "{$IP}/extensions/Quiz/Quiz.php" ); # require_once( "{$IP}/extensions/Cite/Cite.php" ); # require_once( "{$IP}/extensions/Math/Math.php" ); # If PHP's memory limit is very low, some operations may fail. ini_set( 'memory_limit', '20M' ); if ( $wgCommandLineMode ) { if ( isset( $_SERVER ) && array_key_exists( 'REQUEST_METHOD', $_SERVER ) ) { die( "This script must be run from the command line\n" ); } } ## Uncomment this to disable output compression # $wgDisableOutputCompression = true; $wgSitename = "JMath"; ## The URL base path to the directory containing the wiki; ## defaults for all runtime URL paths are based off of this. $wgScriptPath = "/math"; ## For more information on customizing the URLs please see: ## http://www.mediawiki.org/wiki/Manual:Short_URL $wgEnableEmail = true; $wgEnableUserEmail = true; $wgEmergencyContact = "szkjiro@shinshu-u.ac.jp"; $wgPasswordSender = "szkjiro@shinshu-u.ac.jp"; ## Debuging information $wgShowExceptionDetails = true ## For a detailed description of the following switches see ## http://meta.wikimedia.org/Enotif and http://meta.wikimedia.org/Eauthent ## There are many more options for fine tuning available see ## /includes/DefaultSettings.php ## UPO means: this is also a user preference option $wgEnotifUserTalk = true; # UPO $wgEnotifWatchlist = true; # UPO $wgEmailAuthentication = true; $wgDBtype = "mysql"; $wgDBserver = "localhost"; $wgDBname = "mwdb"; $wgDBuser = "mwuser"; $wgDBpassword = "mwuser"; $wgDBport = "5432"; $wgDBprefix = ""; # MySQL table options to use during installation or update $wgDBTableOptions = "ENGINE=InnoDB, DEFAULT CHARSET=utf8"; # Schemas for Postgres $wgDBmwschema = "mediawiki"; $wgDBts2schema = "public"; # Experimental charset support for MySQL 4.1/5.0. $wgDBmysql5 = true; ## Shared memory settings $wgMainCacheType = CACHE_NONE; $wgMemCachedServers = array(); ## To enable image uploads, make sure the 'images' directory ## is writable, then set this to true: $wgEnableUploads = true; # $wgUseImageMagick = true; # $wgImageMagickConvertCommand = "/usr/bin/convert"; ## If you want to use image uploads under safe mode, ## create the directories images/archive, images/thumb and ## images/temp, and make them all writable. Then uncomment ## this, if it's not already uncommented: # $wgHashedUploadDirectory = false; ## If you have the appropriate support software installed ## you can enable inline LaTeX equations: $wgUseTeX = true; $wgLocalInterwiki = $wgSitename; $wgLanguageCode = "ja"; $wgProxyKey = "e4c2026ba228db7c7bdc4a9331db93e2925190e2d9ca8a14d784665c4af41ef4"; ## Default skin: you can change the default skin. Use the internal symbolic ## names, ie 'standard', 'nostalgia', 'cologneblue', 'monobook': $wgDefaultSkin = 'monobook'; ## For attaching licensing metadata to pages, and displaying an ## appropriate copyright notice / icon. GNU Free Documentation ## License and Creative Commons licenses are supported so far. # $wgEnableCreativeCommonsRdf = true; $wgRightsPage = ""; # Set to the title of a wiki page that describes your license/copyright $wgRightsUrl = ""; $wgRightsText = ""; $wgRightsIcon = ""; # $wgRightsCode = ""; # Not yet used $wgDiff3 = "/usr/bin/diff3"; # When you make changes to this configuration file, this will make # sure that cached pages are cleared. $configdate = gmdate( 'YmdHis', @filemtime( __FILE__ ) ); $wgCacheEpoch = max( $wgCacheEpoch, $configdate ); $wgGroupPermissions['*']['createaccount'] = false; $wgGroupPermissions['*']['createpage'] = false; $wgGroupPermissions['*']['edit'] = false; $wgGroupPermissions['*']['createtalk'] = false; $wgLocalTZoffset = "+9"; $wgStylePath = "$wgScriptPath/skins"; $wgLogo = "$wgStylePath/common/images/wikilogo.png"; $wgFileExtensions = array('gif','png','jpg','jpeg','xls','pdf','txt'); Internal error - MediaWiki

Sorry! This site is experiencing technical difficulties.

Try waiting a few minutes and reloading.

(Cannot contact the database server)


You can try searching via Google in the meantime.
Note that their indexes of our content may be out of date.