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

mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/PageImages synced 2025-01-08 13:05:35 +00:00
<?php

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

return $cfg;
Add phan Change-Id: Ib50452c57c9ca2256d22a9952d932bb9b577e3b1 2019-02-28 20:33:10 +00:00			`<?php`
build: Upgrade mediawiki/mediawiki-phan-config from 0.5.0 to 0.6.0 Change-Id: I7ae166bf3e55b5ce6f26bfeea38d87a6c198ec64 2019-05-19 11:25:37 +00:00
Add phan Change-Id: Ib50452c57c9ca2256d22a9952d932bb9b577e3b1 2019-02-28 20:33:10 +00:00			`$cfg = require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';`

			`return $cfg;`