MediaWiki extension that makes uploaded text files searchable