Updated mediawiki/extensions
Project: mediawiki/extensions/CodeEditor  d1c3f04a7a560e326303495c8815dc51fc317839

Clear the statusbar if no annotations are left

Bug: 64758
Change-Id: Id2a26742420d03242265e537dc5404707c4bf714