diff options
| author | Kasun Chathuranga <chathuranga.jayaneththi@gmail.com> | 2013-05-04 07:03:49 +0400 |
|---|---|---|
| committer | Kasun Chathuranga <chathuranga.jayaneththi@gmail.com> | 2013-05-04 07:03:49 +0400 |
| commit | 1c884f0ccadcbc302490caa9cd808de6685788e3 (patch) | |
| tree | e7cee37546869f17a65bf7cefb677ce1c6262966 /server_plugins.php | |
| parent | d454b4156458eb13ed6c19095dd1628f2af028fb (diff) | |
PMA_DBI_free_result --> PMA_DBI_freeResult
Diffstat (limited to 'server_plugins.php')
| -rw-r--r-- | server_plugins.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server_plugins.php b/server_plugins.php index b4514424a5..74c9e7d2eb 100644 --- a/server_plugins.php +++ b/server_plugins.php @@ -48,7 +48,7 @@ while ($row = PMA_DBI_fetchAssoc($res)) { $modules[$row['module_name']]['info'] = $row; $modules[$row['module_name']]['plugins'][$row['plugin_type']][] = $row; } -PMA_DBI_free_result($res); +PMA_DBI_freeResult($res); // sort plugin list (modules are already sorted) ksort($plugins); |