[Mediawiki-l] Javascript toggle