Extension:WikiEditor/Toolbar customization