Thread:Support/Unused menu entries/reply

You probably are seeing a bug in MediaWiki where the sidebar occasionally reverts to default settings.