mediawiki-extensions-ImageMap/resources
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