wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-15 12:00:05 +00:00
Code Issues Packages Projects Releases Wiki Activity
1562 commits 162 branches 6 tags 32 MiB
Commit graph

2 commits

Author SHA1 Message Date
Siebrand Mazeland 4c254e2628 Update mediawiki-codesniffer and parallel-lint settings 
Change-Id: Iafca683fcda641a1f9ea15c4d6be49ce28d117cf
 2015-09-29 17:45:58 +01:00
Siebrand Mazeland c0ec9489f0 build: Update mediawiki-codesniffer from 0.3.0 to 0.4.0 
Change-Id: Ic6a08b4cd84bb3bcf37ad043f287bcfe9c4d91af
 2015-09-28 23:49:50 +00:00