From ca32f08966f1b51fcb19460f0996bb0c4048e6fe Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Sat, 3 Dec 2011 13:29:22 +0100 Subject: Update to MediaWiki 1.18.0 * also update ArchLinux skin to chagnes in MonoBook * Use only css to hide our menu bar when printing --- profileinfo.php | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'profileinfo.php') diff --git a/profileinfo.php b/profileinfo.php index b8dc15b8..3117db31 100644 --- a/profileinfo.php +++ b/profileinfo.php @@ -28,8 +28,14 @@ ini_set( 'zlib.output_compression', 'off' ); $wgEnableProfileInfo = $wgProfileToDatabase = false; +if ( isset( $_SERVER['MW_COMPILED'] ) ) { + require ( 'phase3/includes/WebStart.php' ); +} else { + require ( dirname( __FILE__ ) . '/includes/WebStart.php' ); +} + -require_once( './includes/WebStart.php' ); +header( 'Content-Type: text/html; charset=utf-8' ); ?> -- cgit v1.2.2