After a recent update My editor tool bar has disappeared. It is checked as enabled in my preferences, so I'm wondering if I've reset something incorrectly. also the check button in the replace text extension has disappeared. Could this be related. Mediawiki 1.23.1 with current extension for replace text. Thanks!' john