summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndrew Dolgov <[email protected]>2023-10-23 23:16:54 +0300
committerAndrew Dolgov <[email protected]>2023-10-23 23:16:54 +0300
commitdeb441e9e31bb2fe015c131fafd9570b630b5bf7 (patch)
treeddc5f4d8f3f2610a6588312c425b6f3358d649ea
parent9826d2f07527e3259957628030adc87bde391b0c (diff)
make phpstan happy
-rw-r--r--classes/config.php3
-rwxr-xr-x[-rw-r--r--]utils/phpstan-watcher.sh0
2 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;
}
diff --git a/utils/phpstan-watcher.sh b/utils/phpstan-watcher.sh
index 1972df049..1972df049 100644..100755
--- a/utils/phpstan-watcher.sh
+++ b/utils/phpstan-watcher.sh