diff options
author | Michael Hamann <michael@content-space.de> | 2013-08-02 12:30:42 +0200 |
---|---|---|
committer | Michael Hamann <michael@content-space.de> | 2013-08-02 12:30:42 +0200 |
commit | 449f398253213589bf4cd3c28f2c38b9d853b06a (patch) | |
tree | 481814350d05f77f572bad7f4106f81f6572a3c0 | |
parent | 7c30f5ced5496bbc22c78497011da33d121aeb56 (diff) | |
download | rpg-449f398253213589bf4cd3c28f2c38b9d853b06a.tar.gz rpg-449f398253213589bf4cd3c28f2c38b9d853b06a.tar.bz2 |
Extension manager: Improve update check
-rw-r--r-- | lib/plugins/extension/helper/extension.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/plugins/extension/helper/extension.php b/lib/plugins/extension/helper/extension.php index 4243afb69..5e3074c83 100644 --- a/lib/plugins/extension/helper/extension.php +++ b/lib/plugins/extension/helper/extension.php @@ -83,6 +83,8 @@ class helper_plugin_extension_extension extends DokuWiki_Plugin { public function updateAvailable() { $lastupdate = $this->getLastUpdate(); if ($lastupdate === false) return false; + $installed = $this->getInstalledVersion(); + if ($installed === false || $installed === $this->getLang('unknownversion')) return true; return $this->getInstalledVersion() < $this->getLastUpdate(); } |