diff options
| author | William Desportes <williamdes@wdes.fr> | 2020-07-18 12:11:30 +0300 |
|---|---|---|
| committer | William Desportes <williamdes@wdes.fr> | 2020-08-15 16:11:51 +0300 |
| commit | 93c21ed7f18a0a1c198d60013fe271358b27178d (patch) | |
| tree | bcce24b9c69e3a36c6bdcc1bae7b6e5e44fde85a /phpstan.neon.dist | |
| parent | 9cc82e107af90eff375aa2d083b3eb50675d639f (diff) | |
Fix #14644 - Use Doctum instead of Sami
Signed-off-by: William Desportes <williamdes@wdes.fr>
Diffstat (limited to 'phpstan.neon.dist')
| -rw-r--r-- | phpstan.neon.dist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/phpstan.neon.dist b/phpstan.neon.dist index 49b8334ba3..8bc2b162a4 100644 --- a/phpstan.neon.dist +++ b/phpstan.neon.dist @@ -55,7 +55,7 @@ parameters: - %rootDir%/../../../vendor/* - %rootDir%/../../../node_modules/* - %rootDir%/../../../test/bootstrap-phpstan.php - - %rootDir%/../../../test/sami-config.php + - %rootDir%/../../../test/doctum-config.php - %rootDir%/../../../themes/*/css/*.css.php - %rootDir%/../../../examples/signon-script.php - %rootDir%/../../../examples/openid.php |