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

Where did it go? LocalSettings.php is configured to display it; but it's just not showing up. Is it really gone, and am I the only one who likes that button?