wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-30 00:55:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../lib
History
Umherirrender 9108ac69ee Update VE core submodule to master (6111ca575) 
New changes:
6111ca575 Use json extension for .stylelintrc

Local changes:
Use json extension for .stylelintrc

Bug: T173516
Depends-On: Iba3b6cb37c458e896ade0f3a57a02540b4b4a0a0
Change-Id: I977ac6816e97cfb37bb2e0187e9d148bdb2148af
2017-08-21 11:28:34 -07:00
..
Base64.js
Easy-Deflate
ve@6111ca5753 Update VE core submodule to master (6111ca575) 2017-08-21 11:28:34 -07:00