diff options
Diffstat (limited to 'UserMerge/.phan/config.php')
-rw-r--r-- | UserMerge/.phan/config.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/UserMerge/.phan/config.php b/UserMerge/.phan/config.php new file mode 100644 index 00000000..76efd06d --- /dev/null +++ b/UserMerge/.phan/config.php @@ -0,0 +1,3 @@ +<?php + +return require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php'; |