wikimedia/mediawiki-extensions-ImageMap
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ImageMap synced 2024-11-30 17:04:18 +00:00
Code Issues Packages Projects Releases Wiki Activity
690 commits 11 branches 25 tags 6.5 MiB
Commit graph

55 commits

Author SHA1 Message Date
Umherirrender ac2641cddd Add phpcs and make pass 
Change-Id: Ia62022c4a57719bdafb618047490a005e6c373ce
 2017-05-17 19:20:32 +00:00
Antoine Musso 6485ec6491 build: add jakub-onderka/php-console-highlighter 
Highlight PHP code when parallel-lint fails

Change-Id: Ie7582baa805457a0445a119bfd5fb859f693e51f
 2017-05-05 21:40:01 +02:00
Umherirrender 46158f287d Add php-parallel-lint 
php-lint will test for valid php files

Change-Id: I6ed8d0dd87ed383cc49beb3397521a28abfe1217
 2017-05-04 20:09:43 +02:00
Kghbln 65fb633a98 Tweaking license information 
* Add license label to extension.json
* Make composer.json consistent with COPYING
  GPL-2.0+ is fine (see T130531)

Bug: T123943
Bug: T130531
Change-Id: I6e4d718a413a938a247ede847367769eefa6156a
 2016-04-12 18:53:20 +00:00
welterkj d9676dc4ca Add composer support. 
Change-Id: I5d41737028a7337021c48a3c70efeba821d6d0c2
 2014-06-24 13:56:26 -07:00