Kill NamespaceCompat. Nothing, anywhere (not even comments, since r70692) still refer...

diff --git a/includes/AutoLoader.php b/includes/AutoLoader.php
index 139be8e..0ec2b04 100644 (file)
--- a/includes/AutoLoader.php
+++ b/includes/AutoLoader.php
@@ -159,7 +159,6 @@ $wgAutoloadLocalClasses = array(
        'MWException' => 'includes/Exception.php',
        'MWMemcached' => 'includes/memcached-client.php',
        'MWNamespace' => 'includes/Namespace.php',
-       'Namespace' => 'includes/NamespaceCompat.php', // Compat
        'OldChangesList' => 'includes/ChangesList.php',
        'OutputPage' => 'includes/OutputPage.php',
        'PageQueryPage' => 'includes/PageQueryPage.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 {
-       // ..
-}