Thread:Extension talk:WikiEditor/After upgrade to 1.25.1, Publish button is missing