Updated mediawiki/extensions
Project: mediawiki/extensions/CodeEditor  d0ec3d698222fc8dea676c849c2ef757290a8249

Fix JSHint for CodeEditor

Change-Id: Iaf5c1fde6e002ea31eeef88f1963090e14784a7a