includes/NamespaceCompat.php

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