wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-25 06:46:26 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules
History
petarpetkovic 30f099382a Replace jQuery.grep with Array.prototype.filter 
Change-Id: I912fb68060d88b618cb2a2502417c1bccc5fecec
2018-08-25 00:11:30 +02:00
..
ve-mw Replace jQuery.grep with Array.prototype.filter 2018-08-25 00:11:30 +02:00
ve-mw-collab Export to page using action=submit 2018-08-19 11:25:17 +00:00