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