diff options
Diffstat (limited to 'skins/Simple.deps.php')
| -rw-r--r-- | skins/Simple.deps.php | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/skins/Simple.deps.php b/skins/Simple.deps.php deleted file mode 100644 index edca3e6..0000000 --- a/skins/Simple.deps.php +++ /dev/null @@ -1,14 +0,0 @@ -<?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://lists.wikimedia.org/pipermail/wikitech-l/2006-January/021311.html - -if ( ! defined( 'MEDIAWIKI' ) ) - die( 1 ); - -$preIP = '/usr/share/mediawiki'; -require_once( $preIP . '/includes/SkinTemplate.php'); -require_once( dirname(__FILE__) . '/MonoBook.php' ); - |