make a list of plugins

diff --git a/actions/version.php b/actions/version.php
index 92a59ed4743b7f875edbc6cbc860b1aa481d78e3..3d74560c71f7171655b1d8126b10e3102f82a37f 100644 (file)
--- a/actions/version.php
+++ b/actions/version.php
@@ -158,7 +158,10 @@ class VersionAction extends Action
         if (count($this->pluginVersions)) {
             $this->element('h2', null, _('Plugins'));
 
+            $this->elementStart('ul');
+
             foreach ($this->pluginVersions as $plugin) {
+                $this->elementStart('li');
                 $this->elementStart('dl');
                 $this->element('dt', null, _('Name'));
                 if (array_key_exists('homepage', $plugin)) {
@@ -185,7 +188,9 @@ class VersionAction extends Action
                     $this->element('dd', null, $plugin['description']);
                 }
                 $this->elementEnd('dl');
+                $this->elementEnd('li');
             }
+            $this->elementEnd('ul');
         }
 
     }