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