diff --git a/libraries/common.lib.php3 b/libraries/common.lib.php3 index ed7862fcd..1db194ed7 100644 --- a/libraries/common.lib.php3 +++ b/libraries/common.lib.php3 @@ -176,7 +176,7 @@ if (!defined('PMA_COMMON_LIB_INCLUDED')){ $suffix = '.dll'; } else { $suffix = '.so'; - } + } if (!@extension_loaded($extension)) { @dl($extension.$suffix); } @@ -845,7 +845,7 @@ window.parent.frames['nav'].location.replace('');
- + |