Updated mediawiki/extensions
Project: mediawiki/extensions/CodeEditor  c91e62b74f72848114730bc6367168b6cfdc29a8

Improve the CodeEditor toolbar

There isn't much in it yet, but it's a start.
Also needs a patch in WikiEditor, which is forcing some elements to be
visible for no apparent reason.

Change-Id: I6b57e5c11066a104a89bef3b7c8efd2129a80a8f