# HG changeset patch
# User Christophe Lincoln <pankso@slitaz.org>
# Date 1487922394 -3600
# Node ID 8b4be451eeeb3b086c5dc8b5f9887481c021c3d1
# Parent  32ce2737ecfde4122dcedf76df14a0542d397d79
users plugin: small change to use PROFILE_TOOLS

diff -r 32ce2737ecfd -r 8b4be451eeeb plugins/dashboard/dashboard.conf
--- a/plugins/dashboard/dashboard.conf	Fri Feb 24 08:07:06 2017 +0100
+++ b/plugins/dashboard/dashboard.conf	Fri Feb 24 08:46:34 2017 +0100
@@ -8,3 +8,4 @@
 
 # Authenticated users
 PLUGINS_TOOLS="<a href='?dashboard'>Dashboard</a> ${PLUGINS_TOOLS}"
+PROFILE_TOOLS="<a href='?dashboard'>Dashboard</a> ${PROFILE_TOOLS}"
diff -r 32ce2737ecfd -r 8b4be451eeeb plugins/users/users.cgi
--- a/plugins/users/users.cgi	Fri Feb 24 08:07:06 2017 +0100
+++ b/plugins/users/users.cgi	Fri Feb 24 08:46:34 2017 +0100
@@ -15,7 +15,7 @@
 </pre>
 
 <div id="tools">
-	$PLUGINS_TOOLS
+	$PROFILE_TOOLS
 	<a href="$script?modprofile">$(gettext "Modify profile")</a>
 </div>
 EOT
@@ -216,7 +216,7 @@
 			cat $PEOPLE/$USER/profile.txt | wiki_parser
 		fi
 		
-		# Run user.sh so that plugins can provide to add content to a profile
+		# Run user.sh that plugins can provide to add content to a profile
 		for script in $(ls $plugins/*/user.sh); do
 			. ${script}
 		done