HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend…

Authored by jenkins-bot.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend cd07821f13d54f814a99e3c6c81f1c294b8581d5

Remove CodeMirror support

It's not planned to move forward with it, and the Editing team will focus
on a VisualEditor source editing mode later, which will maybe support
syntaxhighlighting.

See:
https://lists.wikimedia.org/pipermail/mobile-l/2015-July/009552.html
for more information.

Change-Id: Ib015dd0bc94613c316d404f963bec48cd59b429f

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXTe7258143f372: Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Aug 6 2015, 11:31 PM