wikimedia/mediawiki-extensions-ImageMap
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ImageMap synced 2024-09-23 18:28:28 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-ImageMap/resources
History
Umherirrender 4113b90e4c build: Run stylelint for less file 
Since b2113e01 a less file exists

Change-Id: I77bbbb2dbbc9dba3ce5858fe5e0732e11ba803e5
2023-11-28 20:53:38 +01:00
..
desc-20.png Move images in resources directory 2019-03-02 22:06:50 +01:00
desc.svg Move images in resources directory 2019-03-02 22:06:50 +01:00
ext.imagemap.js Add back description links when !$wgParserEnableLegacyMediaDOM 2023-05-22 15:22:42 +00:00
ext.imagemap.styles.less build: Run stylelint for less file 2023-11-28 20:53:38 +01:00