wikimedia/mediawiki-extensions-ImageMap
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ImageMap synced 2024-11-15 02:13:42 +00:00
Code Issues Packages Projects Releases Wiki Activity
706 commits 282 branches 5 tags 6.2 MiB
Commit graph

3 commits

Author SHA1 Message Date
libraryupgrader c57eb167cb build: Updating dependencies 
composer:
* mediawiki/mediawiki-codesniffer: 34.0.0 → 35.0.0
* mediawiki/minus-x: 1.1.0 → 1.1.1

npm:
* eslint-config-wikimedia: 0.17.0 → 0.18.1

Additional changes:
* Added the "composer phan" command to conveniently run phan.
* Removing manual extensions for eslint.

Change-Id: If044616b71cda6255ed72e71507a33ea7ffdea4d
 2021-01-29 18:07:24 +00:00
Siebrand Mazeland 21f9268e50 Update indentation to use tabs 
Change-Id: Icd1783655040a3445f8bfbde1caec541ea7337b6
 2015-10-12 10:12:04 +02:00
Siebrand Mazeland baf4d46b33 Migrate to JSON i18n 
Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.

Change-Id: Ibfc3f37d9ea5b8e30e5be4310db1c244d6934951
 2014-03-28 08:23:39 +01:00