MediaWiki 1.17.0

[autoinstallsdev/mediawiki.git] / includes / NamespaceCompat.php

diff --git a/includes/NamespaceCompat.php b/includes/NamespaceCompat.php
deleted file mode 100644 (file)
index 15c7647..0000000
--- a/includes/NamespaceCompat.php
+++ /dev/null
@@ -1,9 +0,0 @@
-<?php
-
-/**
- * For compatibility with extensions...
- * Will still die on PHP 5.3, of course. :P
- */
-class Namespace extends MWNamespace {
-       // ..
-}