Updated mediawiki/extensions
Project: mediawiki/extensions/CodeEditor  1373c915df0965aa1c78effc733976555ceb0f2d

CodeEditor: Add basic code completion and snippet support

Bug: 48828
Change-Id: If7d165fc849ca9687dd7d511b0d111b9969fb2a7