Updated mediawiki/extensions
Project: mediawiki/extensions/CodeEditor  8da019fe2986246b6c40dc8782975d6c8632d744

CodeEditor: Disable in IE7, too unstable.

Bug: 64559
Change-Id: I59a8cebf1d1c7f3e839295d8a85739d9c2dc2683