Extension:WikiEditor/Toolbar customisation