diff --git a/.phan/config.php b/.phan/config.php new file mode 100644 index 00000000..76efd06d --- /dev/null +++ b/.phan/config.php @@ -0,0 +1,3 @@ +