wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-14 19:14:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeEd.../modules/images
History
Umherirrender b2aeedd34a Move images folder into modules folder 
All resources needed by client should in one folder

Change-Id: Ib9f6ea7bb59f2b5b8115c381290032170d482a98
2021-03-12 20:09:55 +01:00
..
gotoLine.svg Move images folder into modules folder 2021-03-12 20:09:55 +01:00
pilcrow.svg Move images folder into modules folder 2021-03-12 20:09:55 +01:00
wrapping.svg Move images folder into modules folder 2021-03-12 20:09:55 +01:00