diff options
author | Scott Ullrich <sullrich@pfsense.org> | 2007-11-16 02:07:54 +0000 |
---|---|---|
committer | Scott Ullrich <sullrich@pfsense.org> | 2007-11-16 02:07:54 +0000 |
commit | 834a10743973624a754977cf9ec62259cd09a7ab (patch) | |
tree | cda8e27b4058de41826e28e3a4bd71c3078df12c | |
parent | 179b35d47b94bbbe8d9426a0ccf48255652d80e0 (diff) | |
download | pfsense-834a10743973624a754977cf9ec62259cd09a7ab.zip pfsense-834a10743973624a754977cf9ec62259cd09a7ab.tar.gz |
Minor nitpick: make : ": ".
-rw-r--r-- | usr/local/www/system_groupmanager.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/usr/local/www/system_groupmanager.php b/usr/local/www/system_groupmanager.php index 273fbf4..5b7408d 100644 --- a/usr/local/www/system_groupmanager.php +++ b/usr/local/www/system_groupmanager.php @@ -57,7 +57,7 @@ function getAdminPageList() { $titleendpos = strpos($contents,')',$titlepos); if (($offset > 0) && ($titlepos > 0) && ($titleendpos > 0)) { // Title found, extract it - $title = str_replace(',',':',str_replace(array('"'),'',substr($contents,++$titlepos,($titleendpos - $titlepos)))); + $title = str_replace(',',': ',str_replace(array('"'),'',substr($contents,++$titlepos,($titleendpos - $titlepos)))); $tmp[$file] = trim($title); } else { |