Extension:FileIndexer/Code.Pre.MediaWiki.1.11