mediawiki-extensions-Gadgets/.phan/config.php

<?php

$cfg = require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';

// Namespace constants
$cfg['file_list'][] = 'Gadgets.namespaces.php';

return $cfg;
Add phan configuration Depends-On: I09a0c0a786b687997e61344847f8af08b20cebf2 Change-Id: I9500232fb524e884d6cb15f2bdda10835df35ad4 2018-02-25 02:41:50 +00:00			`<?php`

Upgrade to newer phan Bug: T216919 Change-Id: I3a403891eafa703215a79526fcf9469b1fd6edc6 2019-03-17 23:39:02 +00:00			`$cfg = require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';`
build: Upgrade mediawiki/mediawiki-phan-config from 0.5.0 to 0.6.0 Change-Id: I31a207a38562df5ac9eaf2db535ff80a16481183 2019-05-19 11:17:32 +00:00
Add phan configuration Depends-On: I09a0c0a786b687997e61344847f8af08b20cebf2 Change-Id: I9500232fb524e884d6cb15f2bdda10835df35ad4 2018-02-25 02:41:50 +00:00			`// Namespace constants`
			`$cfg['file_list'][] = 'Gadgets.namespaces.php';`

			`return $cfg;`