[Mediawiki-l] CSS.php extension weirdness