[Mediawiki-l] Tiny edit window