make phpstan happy

This commit is contained in:
Andrew Dolgov 2023-10-23 23:16:54 +03:00
parent 9826d2f075
commit deb441e9e3
No known key found for this signature in database
GPG Key ID: 1A56B4FA25D4AF2A
2 changed files with 2 additions and 1 deletions

View File

@ -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;
}

0
utils/phpstan-watcher.sh Normal file → Executable file
View File