wikimedia/mediawiki-extensions-CiteThisPage
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CiteThisPage synced 2024-11-24 15:43:53 +00:00
Code Issues Packages Projects Releases Wiki Activity
1796 commits 278 branches 5 tags 14 MiB
Commit graph

3 commits

Author SHA1 Message Date
Kunal Mehta bf56df4a60 Migrate to mediawiki-phan-config 
Change-Id: I28e30c3c30b95537ef1fee49c8af1b6a1c5ad713
 2018-02-15 12:24:43 -08:00
Kunal Mehta a4669f079d phan: Only check includes/ directory 
And remove the extra configuration that was needed for linting the legacy
PHP entry point.

Bug: T187489
Change-Id: I77646431e233d9bca81a344f0168c154397fcf50
 2018-02-15 12:20:08 -08:00
Phantom42 1f103ccb8c Add phan configuration for static analysis 
Bug: T179554
Change-Id: I9f099e07e5873c1125b4b75839f0089f59b4fa8b
 2017-12-25 18:06:24 +02:00