diff --git a/ext/ext_manager/main.php b/ext/ext_manager/main.php index dd60accd..46825394 100644 --- a/ext/ext_manager/main.php +++ b/ext/ext_manager/main.php @@ -8,7 +8,7 @@ */ class ExtensionInfo { // {{{ - var $ext_name, $name, $link, $author, $email, $description, $documentation; + var $ext_name, $name, $link, $author, $email, $description, $documentation, $version; function ExtensionInfo($main) { $matches = array(); @@ -29,6 +29,9 @@ class ExtensionInfo { // {{{ $this->link = make_link(substr($this->link, 1)); } } + if(preg_match("/Version: (.*)/", $line, $matches)) { + $this->version = $matches[1]; + } if(preg_match("/Author: (.*) [<\(](.*@.*)[>\)]/", $line, $matches)) { $this->author = $matches[1]; $this->email = $matches[2]; diff --git a/ext/ext_manager/theme.php b/ext/ext_manager/theme.php index 6ed5fdb4..5d231e6b 100644 --- a/ext/ext_manager/theme.php +++ b/ext/ext_manager/theme.php @@ -6,36 +6,23 @@ class ExtManagerTheme extends Themelet {