diff options
author | wn_ <[email protected]> | 2021-11-12 21:17:31 +0000 |
---|---|---|
committer | wn_ <[email protected]> | 2021-11-12 21:17:31 +0000 |
commit | d3a81f598b24d6ae4f98415fac9509df6749eaf8 (patch) | |
tree | 79fcdaba8badc193595485c965e6150bcaaecd25 /classes/diskcache.php | |
parent | 2c41bc7fbc9013e79e929a31e3824cf040afc54a (diff) |
Switch class properties from PHP typing to PHPDoc for compatibility with PHP < 7.4.0
Diffstat (limited to 'classes/diskcache.php')
-rw-r--r-- | classes/diskcache.php | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/classes/diskcache.php b/classes/diskcache.php index 9fa043aee..ed334b2d2 100644 --- a/classes/diskcache.php +++ b/classes/diskcache.php @@ -1,6 +1,8 @@ <?php class DiskCache { - private string $dir; + // TODO: class properties can be switched to PHP typing if/when the minimum PHP_VERSION is raised to 7.4.0+ + /** @var string */ + private $dir; /** * https://stackoverflow.com/a/53662733 |