mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 02:23:58 +00:00
1fcd67b368
Renamed to wgEditLatestRevision in FlaggedRevs. Change-Id: I9310aaacc475b40cd886b2be2d5dc25c0f152db2 |
||
---|---|---|
.. | ||
editcheck | ||
ve-mw | ||
ve-mw-collab | ||
.eslintrc.json | ||
eslint-shared.json |