Sort the list of skins in My Preferences --> Skins by alphabetical order using asort...
[lhc/web/wiklou.git] / includes / WebStart.php
1 <?php
2
3 # This does the initial setup for a web request. It does some security checks,
4 # starts the profiler and loads the configuration, and optionally loads
5 # Setup.php depending on whether MW_NO_SETUP is defined.
6
7 # Protect against register_globals
8 # This must be done before any globals are set by the code
9 if ( ini_get( 'register_globals' ) ) {
10 if ( isset( $_REQUEST['GLOBALS'] ) ) {
11 die( '<a href="http://www.hardened-php.net/index.76.html">$GLOBALS overwrite vulnerability</a>');
12 }
13 $verboten = array(
14 'GLOBALS',
15 '_SERVER',
16 'HTTP_SERVER_VARS',
17 '_GET',
18 'HTTP_GET_VARS',
19 '_POST',
20 'HTTP_POST_VARS',
21 '_COOKIE',
22 'HTTP_COOKIE_VARS',
23 '_FILES',
24 'HTTP_POST_FILES',
25 '_ENV',
26 'HTTP_ENV_VARS',
27 '_REQUEST',
28 '_SESSION',
29 'HTTP_SESSION_VARS'
30 );
31 foreach ( $_REQUEST as $name => $value ) {
32 if( in_array( $name, $verboten ) ) {
33 header( "HTTP/1.x 500 Internal Server Error" );
34 echo "register_globals security paranoia: trying to overwrite superglobals, aborting.";
35 die( -1 );
36 }
37 unset( $GLOBALS[$name] );
38 }
39 }
40
41 $wgRequestTime = microtime(true);
42 # getrusage() does not exist on the Microsoft Windows platforms, catching this
43 if ( function_exists ( 'getrusage' ) ) {
44 $wgRUstart = getrusage();
45 } else {
46 $wgRUstart = array();
47 }
48 unset( $IP );
49 @ini_set( 'allow_url_fopen', 0 ); # For security
50
51 # Valid web server entry point, enable includes.
52 # Please don't move this line to includes/Defines.php. This line essentially
53 # defines a valid entry point. If you put it in includes/Defines.php, then
54 # any script that includes it becomes an entry point, thereby defeating
55 # its purpose.
56 define( 'MEDIAWIKI', true );
57
58 # Start profiler
59 require_once( './StartProfiler.php' );
60 wfProfileIn( 'WebStart.php-conf' );
61
62 # Load up some global defines.
63 require_once( './includes/Defines.php' );
64
65 # LocalSettings.php is the per site customization file. If it does not exit
66 # the wiki installer need to be launched or the generated file moved from
67 # ./config/ to ./
68 if( !file_exists( './LocalSettings.php' ) ) {
69 $IP = '.';
70 require_once( './includes/DefaultSettings.php' ); # used for printing the version
71 require_once( './includes/templates/NoLocalSettings.php' );
72 die();
73 }
74
75 # Include this site setttings
76 require_once( './LocalSettings.php' );
77 wfProfileOut( 'WebStart.php-conf' );
78
79 if ( !defined( 'MW_NO_SETUP' ) ) {
80 require_once( './includes/Setup.php' );
81 }
82 ?>