mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-26 07:15:32 +00:00
1faf0b00fa
Use them as object keys, which naturally deduplicates the entries. Bug: T214811 Change-Id: I6159021b95d78b1a163faebb289578d277ff110d |
||
---|---|---|
.. | ||
ve-mw | ||
ve-mw-collab |