tinycm rev 113

users plugin: small change to use PROFILE_TOOLS
author Christophe Lincoln <pankso@slitaz.org>
date Fri Feb 24 08:46:34 2017 +0100 (2017-02-24)
parents 32ce2737ecfd
children 45dbee98543d
files plugins/dashboard/dashboard.conf plugins/users/users.cgi
line diff
     1.1 --- a/plugins/dashboard/dashboard.conf	Fri Feb 24 08:07:06 2017 +0100
     1.2 +++ b/plugins/dashboard/dashboard.conf	Fri Feb 24 08:46:34 2017 +0100
     1.3 @@ -8,3 +8,4 @@
     1.4  
     1.5  # Authenticated users
     1.6  PLUGINS_TOOLS="<a href='?dashboard'>Dashboard</a> ${PLUGINS_TOOLS}"
     1.7 +PROFILE_TOOLS="<a href='?dashboard'>Dashboard</a> ${PROFILE_TOOLS}"
     2.1 --- a/plugins/users/users.cgi	Fri Feb 24 08:07:06 2017 +0100
     2.2 +++ b/plugins/users/users.cgi	Fri Feb 24 08:46:34 2017 +0100
     2.3 @@ -15,7 +15,7 @@
     2.4  </pre>
     2.5  
     2.6  <div id="tools">
     2.7 -	$PLUGINS_TOOLS
     2.8 +	$PROFILE_TOOLS
     2.9  	<a href="$script?modprofile">$(gettext "Modify profile")</a>
    2.10  </div>
    2.11  EOT
    2.12 @@ -216,7 +216,7 @@
    2.13  			cat $PEOPLE/$USER/profile.txt | wiki_parser
    2.14  		fi
    2.15  		
    2.16 -		# Run user.sh so that plugins can provide to add content to a profile
    2.17 +		# Run user.sh that plugins can provide to add content to a profile
    2.18  		for script in $(ls $plugins/*/user.sh); do
    2.19  			. ${script}
    2.20  		done