diff options
Diffstat (limited to 'includes/OutputPage.php')
| -rw-r--r-- | includes/OutputPage.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/OutputPage.php b/includes/OutputPage.php index ac75966b7029..5e17bbf66415 100644 --- a/includes/OutputPage.php +++ b/includes/OutputPage.php @@ -307,7 +307,7 @@ class OutputPage { { global $wgUser, $wgLang, $wgDebugComments, $wgCookieExpiration; global $wgInputEncoding, $wgOutputEncoding, $wgLanguageCode; - global $wgDebugRedirects, $wgMimeType, $wgProfiling; + global $wgDebugRedirects, $wgMimeType, $wgProfiler; if( $this->mDoNothing ){ return; } |