[Mediawiki-l] index.php -> index.cgi