mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-24 20:13:08 +00:00
70c116a17a
There's no product need for anything other than an upper limit on edit count. If one arises in the future we can adjust accordingly, but better to keep the JSON, and any UI implementation, simple for now. Change-Id: I892847ad78b19695f0f0f664002d3c566f7806de |
||
---|---|---|
.. | ||
ResourceLoaderData.php |