summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndrew Dolgov <[email protected]>2023-10-23 23:39:21 +0300
committerAndrew Dolgov <[email protected]>2023-10-23 23:39:21 +0300
commit994f376f42cd0691f4dc73940057915ad2d4d9b9 (patch)
tree355fc07645a15cdf5056724be108363961ce36bc
parentdeb441e9e31bb2fe015c131fafd9570b630b5bf7 (diff)
Revert "make phpstan happy"
This reverts commit deb441e9e31bb2fe015c131fafd9570b630b5bf7.
-rw-r--r--classes/config.php3
-rw-r--r--[-rwxr-xr-x]utils/phpstan-watcher.sh0
2 files changed, 1 insertions, 2 deletions
diff --git a/classes/config.php b/classes/config.php
index ed0a1321a..77795de7a 100644
--- a/classes/config.php
+++ b/classes/config.php
@@ -268,7 +268,6 @@ 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 {
@@ -479,7 +478,7 @@ class Config {
(!empty($_SERVER['HTTP_X_FORWARDED_PROTO']) && $_SERVER['HTTP_X_FORWARDED_PROTO'] == 'https');
}
- static function strip_self_url_path_dirs(int $amount) : void {
+ static function strip_self_url_path_dirs($amount) {
self::$self_url_path_strip_dirs = $amount;
}
diff --git a/utils/phpstan-watcher.sh b/utils/phpstan-watcher.sh
index 1972df049..1972df049 100755..100644
--- a/utils/phpstan-watcher.sh
+++ b/utils/phpstan-watcher.sh