wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-02 18:06:16 +00:00
Code Issues Packages Projects Releases Wiki Activity
20979 commits 13 branches 17 tags 198 MiB
Commit graph

3 commits

Author SHA1 Message Date
Ed Sanders fc9c8bed20 checkModules.js: Move out of build/tasks 
All scripts in build/tasks get loaded by grunt, which
we don't need this script to do.

Change-Id: If4b97e5d3f31214e160d35bf0e72bffe5c3ecd04
 2024-05-09 10:53:25 +01:00
Ed Sanders 28f14321b6 checkModules.js: Use require to load JSON 
Change-Id: Id91314272f7170b6e66746bc63fce2d3df9e4bbd
 2024-05-09 10:49:34 +01:00
Ed Sanders fa307229d2 Add script to find files which exist in lib/ve's modules.json, but not extension.json 
Change-Id: Ib5b3aa773961c622cdaf7f4420f720cb86297916
 2023-12-08 15:04:13 -05:00