60e6186f29
** supports url language code parameter * improved performance on cached hit ( apache bench mark goes from old: Rps: 23.40 [#/sec] new: Rps: 378.61 [#/sec] ** we don't check existence of wiki title until after cache file check. ** we don't load all includes/WebStart.php before checking cache * some remote search bug ** improved speed and accuracy of language swapping ( token check no breakage with }) in msg text limitation * improved core js2 performance in parsing class defines from mv_embed.js ** only reads 8k of head at a time. * reduced expire time to one day (instead of one year on script requests) * removed $wgEnableScriptMinify (just use debug or ?debug instead)
63 lines
2 KiB
PHP
63 lines
2 KiB
PHP
<?php
|
|
/**
|
|
* mwScriptLoader.php
|
|
* Script Loading Library for MediaWiki
|
|
*
|
|
* @file
|
|
* @author Michael Dale mdale@wikimedia.org
|
|
* @date feb, 2009
|
|
* @link http://www.mediawiki.org/wiki/ScriptLoader Documentation
|
|
*
|
|
* This program is free software; you can redistribute it and/or modify
|
|
* it under the terms of the GNU General Public License as published by
|
|
* the Free Software Foundation; either version 2 of the License, or
|
|
* (at your option) any later version.
|
|
*
|
|
* This program is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
* GNU General Public License for more details.
|
|
*
|
|
* You should have received a copy of the GNU General Public License along
|
|
* with this program; if not, write to the Free Software Foundation, Inc.,
|
|
* 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
|
|
* http://www.gnu.org/copyleft/gpl.html
|
|
*/
|
|
|
|
//first do a quick static check for the cached file
|
|
define('MW_CACHE_SCRIPT_CHECK', true);
|
|
require_once( dirname(__FILE__) . '/js2/mwEmbed/jsScriptLoader.php');
|
|
$myScriptLoader = new jsScriptLoader();
|
|
if( $myScriptLoader->outputFromCache() ){
|
|
exit();
|
|
}
|
|
|
|
//Else load up mediaWiki stuff and continue scriptloader processing:
|
|
|
|
// include WebStart.php
|
|
ob_start();
|
|
require_once('includes/WebStart.php');
|
|
$webstartwhitespace = ob_end_clean();
|
|
|
|
wfProfileIn( 'mwScriptLoader.php' );
|
|
|
|
if( $wgRequest->isPathInfoBad() ){
|
|
wfHttpError( 403, 'Forbidden',
|
|
'Invalid file extension found in PATH_INFO. ' .
|
|
'mwScriptLoader must be accessed through the primary script entry point.' );
|
|
return;
|
|
}
|
|
// Verify the script loader is on:
|
|
if ( !$wgEnableScriptLoader ) {
|
|
echo '/*ScriptLoader is not enabled for this site. To enable add the following line to your LocalSettings.php';
|
|
echo '<pre><b>$wgEnableScriptLoader=true;</b></pre>*/';
|
|
echo 'alert(\'Script loader is disabled\');';
|
|
die( 1 );
|
|
}
|
|
|
|
//load the language file and
|
|
// Run jsScriptLoader action:
|
|
$myScriptLoader->doScriptLoader();
|
|
|
|
|
|
wfProfileOut( 'mwScriptLoader.php' );
|