wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-23 14:06:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

build: Restore .phan/config.php

Browse source 
Got lost in c180c2f5

Change-Id: Ic30632604bb80d739f0913515a507b97ccbfa67f
This commit is contained in:
Umherirrender 2023-10-06 16:51:51 +02:00
parent 5cdb12b5e1
commit b8a85b50db
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
.phan/config.php Normal file
View file

@ -0,0 +1,3 @@
<?php
return require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';