HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/CodeMirror…

Description

Updated mediawiki/extensions Project: mediawiki/extensions/CodeMirror c800aab7e795d0ccff296c6543db71667402c3b1

Add option to disable CodeMirror frontend

So CodeMirror only provides it's libraries to use in other code.

Change-Id: I6832f4d82ae0497b92ba210ac7960052e4e12143

Details

Provenance
jenkins-botAuthored on
Gerrit Code ReviewCommitted on Apr 2 2015, 8:38 PM
Parents
rMEXT3e35bb211bfd: Updated mediawiki/extensions Project: mediawiki/extensions/AbuseFilter…
Branches
Unknown
Tags
Unknown
ChangeId
I6832f4d82ae0497b92ba210ac7960052e4e12143

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXT2ab8b869ac60: Updated mediawiki/extensions Project: mediawiki/extensions/CodeMirror… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Apr 2 2015, 8:38 PM