includes/NamespaceCompat.php

   1 <?php
   2
   3 // For compatibility with extensions...
   4 // Will still die on PHP 5.3, of course. :P
   5
   6 class Namespace extends MWNamespace {
   7         // ..
   8 }
   9
  10 ?>