[Mediawiki-l] mediawiki extension