Fix for bug #3 reported on github "double-quoting of non-latin 'All servers' message...

  see https://github.com/xzilla/phppgadmin/issues#issue/3

diff --git a/servers.php b/servers.php
index 83de22a46e786ec391fa1b8c0a69ec2024ad27dc..2b6ea300e0ad5c313affacc99ae55525dfb7ac94 100644 (file)
--- a/servers.php
+++ b/servers.php
@@ -132,9 +132,17 @@
                global $misc;
                
                $groups = $misc->getServersGroups();
-               
+
+               function escape($fields) {
+                       global $lang;
+                       if ($fields['id'] === 'all') {
+                               return $lang['strallservers'];
+                       }
+                       else return value(field('desc'), $fields, 'xml');
+               }
+
                $attrs = array(
-                       'text'   => field('desc'),
+                       'text'   => noEscape(callback('escape')),
                        'icon'   => 'Servers',                  
                        'action' => url('servers.php',
                                array(