Change VisualEditor configuration
afff96656b12
Actions

Edit Commit
Download Raw Diff
Mute Notifications
Award Token
Flag For Later

Description

Change VisualEditor configuration

Should be temporary. In a few weeks, mediawiki-defines.txt should be able
to handle the JSON format for MediaWiki extensions. This is a follow-up
for https://gerrit.wikimedia.org/r/#/c/99614/.

Change-Id: I8d5e00c6d603d07a5c1436035bda07985848ed09

Details

Provenance

siebrand

Authored on

Parents

rGTWN2f13c8ef01e5: Support composer in our "deployment" scripts

Branches

Unknown

Tags

Unknown

ChangeId

I8d5e00c6d603d07a5c1436035bda07985848ed09

Event Timeline

siebrand committed rGTWNafff96656b12: Change VisualEditor configuration (authored by siebrand).Dec 9 2013, 8:29 PM

Changes (2)

Path

Size

groups/

MediaWiki/

jquery.i18n.yaml

mediawiki-defines.txt

rGTWNafff96656b12

View Options

groups/MediaWiki/jquery.i18n.yaml