diff options
| author | Christian Foellmann <foellmann@foe-services.de> | 2014-07-28 14:13:10 +0400 |
|---|---|---|
| committer | Christian Foellmann <foellmann@foe-services.de> | 2014-07-28 14:13:10 +0400 |
| commit | 276394119dfbe117acd411a3862de597ba35a2ad (patch) | |
| tree | 3dc394a15f459d6324e3452e15e9446e47fe3bd0 /libraries/server_plugins.lib.php | |
| parent | c8c2e72886de1b71f5abcaa295075da9666096b5 (diff) | |
UPDATE phpmyadmin 4.2.6 multilanguage
Diffstat (limited to 'libraries/server_plugins.lib.php')
| -rw-r--r-- | libraries/server_plugins.lib.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libraries/server_plugins.lib.php b/libraries/server_plugins.lib.php index fb387b25f7..a85aaead20 100644 --- a/libraries/server_plugins.lib.php +++ b/libraries/server_plugins.lib.php @@ -182,7 +182,7 @@ function PMA_getModuleList($modules) $html .= '<td><b class="plugin-type">' . htmlspecialchars($plugin_type) . '</b></td>'; $html .= '<td>'; - for ($i = 0; $i < count($plugin_list); $i++) { + for ($i = 0, $nb = count($plugin_list); $i < $nb; $i++) { $html .= ($i != 0 ? '<br />' : '') . htmlspecialchars($plugin_list[$i]['plugin_name']); if (!$plugin_list[$i]['is_active']) { |