diff options
author | Andrew Dolgov <[email protected]> | 2021-03-06 15:19:31 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2021-03-06 15:19:31 +0300 |
commit | 270f0c3132ca1fb9105043d9e029bf14c81146fa (patch) | |
tree | 76d4c91f95dfb12d3f1d707ea01095b38fcc2fc8 /update.php | |
parent | 63651bd91d2a001eed3a76bd2b8e6a89ab6c151d (diff) |
general cleanup, set some type hints
Diffstat (limited to 'update.php')
-rwxr-xr-x | update.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/update.php b/update.php index ad5704a7d..956aa8548 100755 --- a/update.php +++ b/update.php @@ -232,7 +232,7 @@ if (isset($options["update-feed"])) { try { - if (!RSSUtils::update_rss_feed($options["update-feed"], true)) + if (!RSSUtils::update_rss_feed((int)$options["update-feed"], true)) exit(100); } catch (PDOException $e) { @@ -454,7 +454,7 @@ } if (isset($options["debug-feed"])) { - $feed = $options["debug-feed"]; + $feed = (int) $options["debug-feed"]; if (isset($options["force-refetch"])) $_REQUEST["force_refetch"] = true; if (isset($options["force-rehash"])) $_REQUEST["force_rehash"] = true; |