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

mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/MultimediaViewer synced 2024-11-24 08:13:38 +00:00
<?php

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

return $cfg;
Add phan configuration Change-Id: I5d1c03978d6d018ea3e6fc0927598b5a2c931b85 2018-04-14 08:03:51 +00:00			`<?php`

Upgrade to newer phan Bug: T216928 Change-Id: I2b812745176550616c8d37859f2ad29cdf8fd4c3 2019-03-17 23:14:02 +00:00			`$cfg = require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';`
Add phan configuration Change-Id: I5d1c03978d6d018ea3e6fc0927598b5a2c931b85 2018-04-14 08:03:51 +00:00
			`return $cfg;`