diff options
author | Andrew Dolgov <[email protected]> | 2023-10-23 23:16:54 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2023-10-23 23:16:54 +0300 |
commit | deb441e9e31bb2fe015c131fafd9570b630b5bf7 (patch) | |
tree | ddc5f4d8f3f2610a6588312c425b6f3358d649ea /classes | |
parent | 9826d2f07527e3259957628030adc87bde391b0c (diff) |
make phpstan happy
Diffstat (limited to 'classes')
-rw-r--r-- | classes/config.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/classes/config.php b/classes/config.php index 77795de7a..ed0a1321a 100644 --- a/classes/config.php +++ b/classes/config.php @@ -268,6 +268,7 @@ class Config { /** @var Db_Migrations|null $migrations */ private $migrations; + /** @var int $self_url_path_strip_dirs */ private static $self_url_path_strip_dirs = 0; public static function get_instance() : Config { @@ -478,7 +479,7 @@ class Config { (!empty($_SERVER['HTTP_X_FORWARDED_PROTO']) && $_SERVER['HTTP_X_FORWARDED_PROTO'] == 'https'); } - static function strip_self_url_path_dirs($amount) { + static function strip_self_url_path_dirs(int $amount) : void { self::$self_url_path_strip_dirs = $amount; } |