dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2c75885) | patch
Use mediawiki/mediawiki-phan-config 0.3.0
authorKunal Mehta <legoktm@member.fsf.org>
Thu, 21 Mar 2019 22:28:48 +0000 (15:28 -0700)
committerKunal Mehta <legoktm@member.fsf.org>
Fri, 22 Mar 2019 02:05:06 +0000 (19:05 -0700)
commit737036afb55b5774425f6d63da6672b63eb36839
treebccf3703801edf13994ba1f14f5084e1a2b97f0etree | snapshot
parent2c75885c6fca481c4fdd37ed1851437fffcb5ba5commit | diff
Use mediawiki/mediawiki-phan-config 0.3.0

Use the library instead of duplicating most of the config/defaults that it
provides. MediaWiki core is different of course, so we have to override a
bunch of file/directory lists, but there was a lot being duplicated.

This is the first step in migrating to a newer phan version.

Change-Id: Ib5987ebdf208138d97e1aba8ef54438064063fe9
composer.json diff | blob | history
tests/phan/config.php diff | blob | history
Wiklou, le Wiki du Wiklou