Consolidated web initialisation code into includes/WebStart.php. Moved profiling...
[mediawiki.git] / config / 
tree5366df23682579f80c5ddb2962423a86d4b301e5
drwxr-xr-x   ..
-rw-r--r-- 54196 index.php