Updated mediawiki/extensions
Project: mediawiki/extensions/CodeEditor  2de765b86c1e2ef6ad5099642fe472e0299758ec

JSHint: fix the last jslint/hint failures

Change-Id: I3695d0da964ee607d91510c490793aca1ace5d58