wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-09-24 02:39:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
1120 commits 156 branches 0 tags 27 MiB
Commit graph

6 commits

Author SHA1 Message Date
Antoine Musso 82168b3a05 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
Brad Jorsch 7d676c3bd2 Specify license and add COPYING file 
Bug: T123943
Bug: T128586
Change-Id: I5cb16829bb8a4debe4b0e6ca7d891a0c98591f9a
 2016-09-16 01:38:15 +00:00
Kunal Mehta 08a39470c0 build: Updating mediawiki/mediawiki-codesniffer to 0.7.2 
Also added "composer fix" command.

Change-Id: I8da17b799929b7caed0e0a89014c6ab15c39f0c6
 2016-05-27 18:24:16 -07:00
Ricordisamoa 7ec8675e85 Add mediawiki/mediawiki-codesniffer 
Failing rules are disabled for now.

Change-Id: I9c4cbd7865a0793703b3ca39045087c5ab691bd1
 2016-05-18 15:16:32 +02:00
Paladox bd44f0f5e8 Add phplint to composer 
Change-Id: Ia3509caa82a3ed6d021c61d8bbe2340f12f15e05
 2016-02-10 08:57:50 +00:00
Adrian Lang d26c1eb961 Add composer.json file 
Change-Id: Ib80bddfd3d8d40caf4f8efba4e3db6ef6fa2866d
 2014-01-29 20:07:55 +01:00