# HG changeset patch # User Christophe Lincoln # Date 1486736831 -3600 # Node ID f3aff0cd72297dc2c5dda0719de692e94e906dab # Parent 60234e42d5c4dcacfb1648cee4bd5d089058cb96 Small change to dashboard plugin diff -r 60234e42d5c4 -r f3aff0cd7229 web/plugins/dashboard/dashboard.cgi --- a/web/plugins/dashboard/dashboard.cgi Fri Feb 10 14:54:49 2017 +0100 +++ b/web/plugins/dashboard/dashboard.cgi Fri Feb 10 15:27:11 2017 +0100 @@ -37,10 +37,21 @@ Bugs : $bugs Bugsize : $bugsize - -

Admin users

EOT + # List all plugins + cat << EOT +

$(gettext "Plugins")

+
+EOT
+		for p in $(ls -1 $plugins)
+		do
+			. $plugins/$p/$p.conf
+			echo "$PLUGIN - $SHORT_DESC"
+		done
+		echo '
' + # Get the list of administrators + echo "

Admin users

" for u in $(ls $PEOPLE) do user=${u} @@ -48,16 +59,5 @@ echo "$u" fi done - cat << EOT -

$(gettext "Plugins")

-
-EOT
-		# List all plugins
-		for p in $(ls -1 $plugins)
-		do
-			. $plugins/$p/$p.conf
-			echo "$PLUGIN - $SHORT_DESC"
-		done
-		echo '
' html_footer && exit 0 fi