3 * Template used when there is no LocalSettings.php file
9 if ( !isset( $wgVersion ) ) {
10 $wgVersion = 'VERSION';
12 $script = $_SERVER['SCRIPT_NAME'];
13 $path = pathinfo( $script, PATHINFO_DIRNAME
) . '/';
14 $path = str_replace( '//', '/', $path );
15 $ext = pathinfo( $script, PATHINFO_EXTENSION
);
17 <!DOCTYPE html
PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
18 <html xmlns
='http://www.w3.org/1999/xhtml' lang
='en'>
20 <title
>MediaWiki
<?php
echo htmlspecialchars( $wgVersion ) ?
></title
>
21 <meta http
-equiv
='Content-Type' content
='text/html; charset=utf-8' />
22 <style type
='text/css' media
='screen'>
25 background
-color
: #fff;
26 font
-family
: sans
-serif
;
36 <img src
="<?php echo htmlspecialchars( $path ) ?>skins/common/images/mediawiki.png" alt
='The MediaWiki logo' />
38 <h1
>MediaWiki
<?php
echo htmlspecialchars( $wgVersion ) ?
></h1
>
41 if ( file_exists( 'config/LocalSettings.php' ) ) {
42 echo( 'To complete the installation, move <tt>config/LocalSettings.php</tt> to the parent directory.' );
44 echo( "Please <a href=\"" . htmlspecialchars( $path ) . "config/index." . htmlspecialchars( $ext ) . "\" title='setup'> set up the wiki</a> first." );