update to MediaWiki 1.16.0

1 files changed, 11 insertions, 0 deletions

diff --git a/skins/Vector.deps.php b/skins/Vector.deps.php
new file mode 100644
index 00000000..7a8c2881
--- /dev/null
+++ b/skins/Vector.deps.php
@@ -0,0 +1,11 @@
+<?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');