[Mediawiki-l] Customizing interface