[Mediawiki-l] Double index.php