Hi! > There's documentation on mediawiki.org[3] about how it is currently > configured, and how to set it up locally. You'll need PHP 7 with the ast > extension to actually run phan. If that's not possible for your system, > you can rely on jenkins to run it for you.
I wonder how hard would it be to add php7/phan to mediawiki-vagrant? -- Stas Malyshev [email protected] _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
