diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2009-06-10 13:00:47 +0200 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2009-06-10 13:00:47 +0200 |
commit | 72e90545454c0e014318fa3c81658e035aac58c1 (patch) | |
tree | 9212e3f46868989c4d57ae9a5c8a1a80e4dc0702 /index.php | |
parent | 565a0ccc371ec1a2a0e9b39487cbac18e6f60e25 (diff) |
applying patch to version 1.15.0
Diffstat (limited to 'index.php')
-rw-r--r-- | index.php | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -13,7 +13,7 @@ * * ---------- * - * Copyright (C) 2001-2008 Magnus Manske, Brion Vibber, Lee Daniel Crocker, + * Copyright (C) 2001-2009 Magnus Manske, Brion Vibber, Lee Daniel Crocker, * Tim Starling, Erik Möller, Gabriel Wicke, Ævar Arnfjörð Bjarmason, * Niklas Laxström, Domas Mituzas, Rob Church, Yuri Astrakhan, Aryeh Gregor, * Aaron Schulz and others. @@ -32,6 +32,8 @@ * with this program; if not, write to the Free Software Foundation, Inc., * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. * http://www.gnu.org/copyleft/gpl.html + * + * @file */ @@ -47,7 +49,7 @@ wfProfileIn( 'main-misc-setup' ); OutputPage::setEncodings(); # Not really used yet $maxLag = $wgRequest->getVal( 'maxlag' ); -if( !is_null($maxLag) && !$mediaWiki->checkMaxLag( $maxLag ) ) { +if( !is_null( $maxLag ) && !$mediaWiki->checkMaxLag( $maxLag ) ) { exit; } @@ -73,7 +75,7 @@ if( $wgUseAjax && $action == 'ajax' ) { exit; } -if( $wgUseFileCache && isset($wgTitle) ) { +if( $wgUseFileCache && isset( $wgTitle ) ) { wfProfileIn( 'main-try-filecache' ); // Raw pages should handle cache control on their own, // even when using file cache. This reduces hits from clients. |