diff options
| author | 2022-01-01 11:26:56 +0100 | |
|---|---|---|
| committer | 2022-01-01 11:26:56 +0100 | |
| commit | 3f6aa42b817145a3b00f4d615f87728b55c4413a (patch) | |
| tree | e5b31941b0acc3a2f4c47e4846afcfe987b9852f /lib/Minz/Migrator.php | |
| parent | 77e9877316fcfacb26799afdf32d94c8411da80e (diff) | |
Fix most PHPDocs errors (#4107)
Contributes to https://github.com/FreshRSS/FreshRSS/issues/4103
https://phpstan.org/writing-php-code/phpdoc-types
Diffstat (limited to 'lib/Minz/Migrator.php')
| -rw-r--r-- | lib/Minz/Migrator.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Minz/Migrator.php b/lib/Minz/Migrator.php index eac1bac5b..d69a65422 100644 --- a/lib/Minz/Migrator.php +++ b/lib/Minz/Migrator.php @@ -192,7 +192,7 @@ class Minz_Migrator /** * Set the applied versions of the application. * - * @param string[] $applied_versions + * @param array<string> $versions * * @throws DomainException if there is no migrations corresponding to a version */ |
