Allow external URLs (e.g. http://bits.wikimedia.org/foo) in OutputPage::addScript()

[mediawiki.git] / includes / NamespaceCompat.php

<?php

/**
 * For compatibility with extensions...
 * Will still die on PHP 5.3, of course. :P
 */
class Namespace extends MWNamespace {
        // ..
}