wikimedia/mediawiki-extensions-PdfHandler
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/PdfHandler synced 2024-11-30 19:15:47 +00:00
Code Issues Packages Projects Releases Wiki Activity
587 commits 11 branches 25 tags 5.4 MiB
Commit graph

53 commits

Author SHA1 Message Date
Antoine Musso a46d0d9b76 build: add jakub-onderka/php-console-highlighter 
Highlight PHP code when parallel-lint fails

Change-Id: Ie7582baa805457a0445a119bfd5fb859f693e51f
 2017-05-05 21:40:02 +02:00
Kunal Mehta c2acb173cd build: Updating development dependencies 
* jakub-onderka/php-parallel-lint: 0.9 → 0.9.2

Change-Id: I1e3254a6d42cac4b169d54db02b53421b368907d
 2016-01-05 10:39:09 -08:00
Antoine Musso 599b1b8799 composer test entry point 
Just run php lint for now.

Change-Id: I2bbe7543588c25669e4d4a3958b66f3f79240ea5
 2015-11-23 21:52:15 +01:00