fix $wgCodeMirrorResources initialization (v 3.0.1)

Change-Id: I1439b635c655e072f995f3ad205ca736f3685e09