diff options
Diffstat (limited to 'includes/NamespaceCompat.php')
-rw-r--r-- | includes/NamespaceCompat.php | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/includes/NamespaceCompat.php b/includes/NamespaceCompat.php deleted file mode 100644 index 15c76478..00000000 --- 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 { - // .. -} |