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