Thread:Extension talk:WikiEditor/Changing pop-up Publish menu