]> scripts.mit.edu Git - autoinstallsdev/mediawiki.git/blobdiff - includes/templates/NoLocalSettings.php
MediaWiki 1.30.2
[autoinstallsdev/mediawiki.git] / includes / templates / NoLocalSettings.php
diff --git a/includes/templates/NoLocalSettings.php b/includes/templates/NoLocalSettings.php
deleted file mode 100644 (file)
index facb616..0000000
+++ /dev/null
@@ -1,71 +0,0 @@
-<?php
-/**
- * Template used when there is no LocalSettings.php file
- *
- * @file
- * @ingroup Templates
- */
-
-if ( !isset( $wgVersion ) ) {
-       $wgVersion = 'VERSION';
-}
-
-$matches = array();
-$ext = 'php';
-$path = '/';
-foreach( array_filter( explode( '/', $_SERVER['PHP_SELF'] ) ) as $part ) {
-       if( !preg_match( '/\.(php5?)$/', $part, $matches ) ) {
-               $path .= "$part/";
-       } else {
-               $ext = $matches[1] == 'php5' ? 'php5' : 'php';
-       }
-}
-
-# Check to see if the installer is running
-if ( !function_exists( 'session_name' ) ) {
-       $installerStarted = false;
-} else {
-       session_name( 'mw_installer_session' );
-       $oldReporting = error_reporting( E_ALL & ~E_NOTICE );
-       $success = session_start();
-       error_reporting( $oldReporting );
-       $installerStarted = ( $success && isset( $_SESSION['installData'] ) );
-}
-?>
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-<html xmlns='http://www.w3.org/1999/xhtml' lang='en'>
-       <head>
-               <title>MediaWiki <?php echo htmlspecialchars( $wgVersion ) ?></title>
-               <meta http-equiv='Content-Type' content='text/html; charset=utf-8' />
-               <style type='text/css' media='screen'>
-                       html, body {
-                               color: #000;
-                               background-color: #fff;
-                               font-family: sans-serif;
-                               text-align: center;
-                       }
-
-                       h1 {
-                               font-size: 150%;
-                       }
-               </style>
-       </head>
-       <body>
-               <img src="<?php echo htmlspecialchars( $path ) ?>skins/common/images/mediawiki.png" alt='The MediaWiki logo' />
-
-               <h1>MediaWiki <?php echo htmlspecialchars( $wgVersion ) ?></h1>
-               <div class='error'>
-               <p>LocalSettings.php not found.</p>
-               <p>
-               <?php
-               if ( $installerStarted ) {
-                       echo( "Please <a href=\"" . htmlspecialchars( $path ) . "mw-config/index." . htmlspecialchars( $ext ) . "\"> complete the installation</a> and download LocalSettings.php." );
-               } else {
-                       echo( "Please <a href=\"" . htmlspecialchars( $path ) . "mw-config/index." . htmlspecialchars( $ext ) . "\"> set up the wiki</a> first." );
-               }
-               ?>
-               </p>
-
-               </div>
-       </body>
-</html>