From ca32f08966f1b51fcb19460f0996bb0c4048e6fe Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Sat, 3 Dec 2011 13:29:22 +0100
Subject: Update to MediaWiki 1.18.0

* also update ArchLinux skin to chagnes in MonoBook
* Use only css to hide our menu bar when printing
---
 php5.php5 | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 php5.php5

(limited to 'php5.php5')

diff --git a/php5.php5 b/php5.php5
deleted file mode 100644
index 51e077f0..00000000
--- a/php5.php5
+++ /dev/null
@@ -1,9 +0,0 @@
-<?php
-
-/** 
- * Test for *.php5 capability in webserver
- * Used by includes/templates/PHP4.php
- */
-if ( version_compare( phpversion(), '5.1.0' ) >= 0 ) {
-	echo 'y'.'e'.'s';
-}
-- 
cgit v1.2.2