From 086ae52d12011746a75f5588e877347bc0457352 Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Fri, 21 Mar 2008 11:49:34 +0100
Subject: Update auf MediaWiki 1.12.0

---
 skins/Modern.deps.php | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 skins/Modern.deps.php

(limited to 'skins/Modern.deps.php')

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' );
+
-- 
cgit v1.2.3-54-g00ecf