diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2025-06-05 16:18:05 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-06-05 16:18:05 +0200 |
| commit | dab5e054673e54e1ff5ac282f2d4437a696d8dbc (patch) | |
| tree | 52423f24e747ac957ac94734f4f73d242b9111bc | |
| parent | 67c239b3581bea39879f5a57bb36a6dd1fa7b1e0 (diff) | |
| parent | 2ee9c3059314f83679b47395536291737a4dda19 (diff) | |
| download | dokuwiki-master.tar.gz dokuwiki-master.zip | |
Don't complain about changed download URLs when plugin repository is …
| -rw-r--r-- | lib/plugins/extension/Extension.php | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/plugins/extension/Extension.php b/lib/plugins/extension/Extension.php index 763b348c2..6de7a92f6 100644 --- a/lib/plugins/extension/Extension.php +++ b/lib/plugins/extension/Extension.php @@ -507,7 +507,9 @@ class Extension { $last = $this->getManager()->getDownloadURL(); if (!$last) return false; - return $last !== $this->getDownloadURL(); + $url = $this->getDownloadURL(); + if (!$url) return false; + return $last !== $url; } /** |