Updated mediawiki/extensions
Project: mediawiki/extensions/CodeEditor  7bfd574cbe7d3db984d70f7550955ce9939b20af

CodeEditor: Keep experimental Geshi editor working

Still experimental, not really functional, but this fixes it to at
least run again.

Change-Id: Ia71aa9421179654a063c706e0cbf3016a2fcc280