diff options
Diffstat (limited to 'skins/MonoBook.deps.php')
| -rw-r--r-- | skins/MonoBook.deps.php | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/skins/MonoBook.deps.php b/skins/MonoBook.deps.php new file mode 100644 index 0000000..dda24e0 --- /dev/null +++ b/skins/MonoBook.deps.php @@ -0,0 +1,12 @@ +<?php +// This file exists to ensure that base classes are preloaded before +// MonoBook.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://lists.wikimedia.org/pipermail/wikitech-l/2006-January/021311.html + +if ( ! defined( 'MEDIAWIKI' ) ) + die( 1 ); + +require_once( dirname( dirname( __FILE__ ) ) . '/includes/SkinTemplate.php'); + |