summaryrefslogtreecommitdiff
path: root/update.php
diff options
context:
space:
mode:
authorwn_ <[email protected]>2021-11-11 18:53:52 +0000
committerwn_ <[email protected]>2021-11-11 18:53:52 +0000
commit3f8aaffd3499cd49912c3e2cb663d8572a96851e (patch)
treee4d9e87a3562cd542f7be259bcffa29cd39b03c4 /update.php
parenteb068fbc47de8ce6bb7d1a368cfa1a20e9a2dc90 (diff)
Address PHPStan warnings in 'classes/rssutils.php'.
This also includes a minor tweak in 'update.php' to account for 'getopt()' potentially returning false (indicating failure).
Diffstat (limited to 'update.php')
-rwxr-xr-xupdate.php2
1 files changed, 1 insertions, 1 deletions
diff --git a/update.php b/update.php
index 36c66b06c..6cd61a451 100755
--- a/update.php
+++ b/update.php
@@ -108,7 +108,7 @@
$options = getopt("", array_keys($options_map));
- if (count($options) == 0 || isset($options["help"]) ) {
+ if ($options === false || count($options) == 0 || isset($options["help"]) ) {
print "Tiny Tiny RSS CLI management tool\n";
print "=================================\n";
print "Options:\n\n";