Update auf MediaWiki 1.12.0

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' );
+