Re: [Mediawiki-l] Mediawiki:Common.js trivial tip