diff options
| author | 2023-04-28 14:21:54 +0200 | |
|---|---|---|
| committer | 2023-04-28 14:21:54 +0200 | |
| commit | 2199df8ad7e9297f523614115bb323585e0dba83 (patch) | |
| tree | e8d4fac05f0b0c309313c7c4173d90024efc6d6c /cli | |
| parent | c72914bba2363e436574204b3d6093a6f3cfce89 (diff) | |
phpstan level 7 for manipulate.translation.php (#5352)
* phpstan level 7 for manipulate.translation.php
* Update manipulate.translation.php
---------
Co-authored-by: Luc <sanchezluc+freshrss@gmail.com>
Diffstat (limited to 'cli')
| -rwxr-xr-x | cli/manipulate.translation.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cli/manipulate.translation.php b/cli/manipulate.translation.php index ed307f302..b52451681 100755 --- a/cli/manipulate.translation.php +++ b/cli/manipulate.translation.php @@ -5,7 +5,7 @@ require_once __DIR__ . '/i18n/I18nData.php'; require_once __DIR__ . '/i18n/I18nFile.php'; require_once __DIR__ . '/../constants.php'; - +/** @var array<string,string> $options */ $options = getopt("a:hk:l:o:rv:"); if (array_key_exists('h', $options)) { |
