Updated mediawiki/extensions
Project: mediawiki/extensions/CodeEditor  86622b63fbe97d3f1a46978be1f7e7abb2e6d019

Use jQuery.noop

This avoids the definition of several empty functions.

Change-Id: Ic6fe5c46e1ed90217c1935dd0a87c6b97a0ad513