diff options
| author | J0WI <J0WI@users.noreply.github.com> | 2021-04-26 13:33:36 +0300 |
|---|---|---|
| committer | J0WI <J0WI@users.noreply.github.com> | 2021-04-26 13:33:45 +0300 |
| commit | efc5c57a79a5bad9b91135a436c1eca717082968 (patch) | |
| tree | d1f1f1192228ecdc9e1d7b69f50cd53eb067f7ff /lib/versioncheck.php | |
| parent | 8f3a0705d46c1c196521cdb33c75acf92ea05026 (diff) | |
Some more strict_types
Signed-off-by: J0WI <J0WI@users.noreply.github.com>
Diffstat (limited to 'lib/versioncheck.php')
| -rw-r--r-- | lib/versioncheck.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/versioncheck.php b/lib/versioncheck.php index efd4e0f3774..83ee705a77b 100644 --- a/lib/versioncheck.php +++ b/lib/versioncheck.php @@ -1,4 +1,7 @@ <?php + +declare(strict_types=1); + /** * * |