diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2008-03-21 11:49:34 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2008-03-21 11:49:34 +0100 |
commit | 086ae52d12011746a75f5588e877347bc0457352 (patch) | |
tree | e73263c7a29d0f94fafb874562610e16eb292ba8 /skins/Modern.deps.php | |
parent | 749e7fb2bae7bbda855de3c9e319435b9f698ff7 (diff) |
Update auf MediaWiki 1.12.0
Diffstat (limited to 'skins/Modern.deps.php')
-rw-r--r-- | skins/Modern.deps.php | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/skins/Modern.deps.php b/skins/Modern.deps.php new file mode 100644 index 00000000..73adcb40 --- /dev/null +++ b/skins/Modern.deps.php @@ -0,0 +1,13 @@ +<?php +// This file exists to ensure that base classes are preloaded before +// Simple.php is compiled, working around a bug in the APC opcode +// cache on PHP 5, where cached code can break if the include order +// changed on a subsequent page view. +// see http://mail.wikipedia.org/pipermail/wikitech-l/2006-January/033660.html + +if ( ! defined( 'MEDIAWIKI' ) ) + die( 1 ); + +require_once( dirname( dirname( __FILE__ ) ) . '/includes/SkinTemplate.php'); +require_once( dirname(__FILE__) . '/Modern.php' ); + |