1
0
mirror of https://github.com/danog/psalm.git synced 2024-11-30 04:39:00 +01:00

Configuration fallback to psalm.xml.dist file

Closes vimeo/psalm#644
This commit is contained in:
Radosław Kowalewski 2018-04-14 15:57:51 +02:00 committed by Matthew Brown
parent 21b74ae725
commit 88bf8e284c
2 changed files with 1 additions and 1 deletions

View File

@ -282,7 +282,7 @@ class Config
do {
$maybe_path = $dir_path . DIRECTORY_SEPARATOR . Config::DEFAULT_FILE_NAME;
if (file_exists($maybe_path)) {
if (file_exists($maybe_path) || file_exists($maybe_path .= '.dist')) {
$config = self::loadFromXMLFile($maybe_path, $base_dir);
break;