Updated mediawiki/extensions
Project: mediawiki/extensions/CodeEditor  0b9626eab3603b4522bbf6ea58aff8287eff667a

Update ACE to Jan 17, 2014

This fixes a breakage with } pairing
Also adds support for CORS loading of the workers.

Bug: 60156
Change-Id: I7333a107b49bb6aec0f91f443f5823e82a327fab