VladPolskiy/dokuwiki-plugin-sync
1
0
Fork 0
mirror of https://github.com/splitbrain/dokuwiki-plugin-sync.git synced 2025-07-28 07:13:31 +00:00
Code Issues Packages Projects Releases Wiki Activity

show namespace in profile name

Browse Source 
Ignore-this: 6ff1122fecec02e08ab60c0105c4f3d0

darcs-hash:20091117174206-7ad00-68f1380df1c474bcc9fb7ac59738e2caf91a28dd.gz
This commit is contained in:
Andreas Gohr
2009-11-17 18:42:06 +01:00
parent 9c29364738
commit f096a041a7
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
admin.php
View File

@ -236,6 +236,7 @@ class admin_plugin_sync extends DokuWiki_Admin_Plugin {
echo ($no+1).'. ';
if($opts['user']) echo hsc($opts['user']).'@';
echo hsc($srv['host']);
if($opts['ns']) echo ':'.hsc($opts['ns']);
echo '</option>';
}
echo '</select>';