diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2007-05-16 20:58:53 +0000 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2007-05-16 20:58:53 +0000 |
| commit | cecb985bee3bdd252e1b8dc0bd500b37cd52be01 (patch) | |
| tree | 17266aa237742640aabee7856f0202317a45d540 /includes/WebStart.php | |
| parent | 0bac06c301f2a83edb0236e4c2434da16848d549 (diff) | |
Aktualisierung auf MediaWiki 1.10.0
Plugins angepasst und verbessert
kleine Korrekturen am Design
Diffstat (limited to 'includes/WebStart.php')
| -rw-r--r-- | includes/WebStart.php | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/includes/WebStart.php b/includes/WebStart.php index 37582290..55c96488 100644 --- a/includes/WebStart.php +++ b/includes/WebStart.php @@ -85,6 +85,18 @@ if( !file_exists( './LocalSettings.php' ) ) { # Include this site setttings require_once( './LocalSettings.php' ); wfProfileOut( 'WebStart.php-conf' ); +wfProfileIn( 'WebStart.php-ob_start' ); + +# Initialise output buffering +if ( ob_get_level() ) { + # Someone's been mixing configuration data with code! + # How annoying. +} elseif ( !defined( 'MW_NO_OUTPUT_BUFFER' ) ) { + require_once( './includes/OutputHandler.php' ); + ob_start( 'wfOutputHandler' ); +} + +wfProfileOut( 'WebStart.php-ob_start' ); if ( !defined( 'MW_NO_SETUP' ) ) { require_once( './includes/Setup.php' ); |