diff --git a/libraries/common.lib.php b/libraries/common.lib.php index fb5296ec7..cc9641766 100644 --- a/libraries/common.lib.php +++ b/libraries/common.lib.php @@ -46,6 +46,7 @@ function PMA_pow($base, $exp, $use_function = false) switch ($use_function) { case 'bcpow' : + //bcscale(10); $pow = bcpow($base, $exp); break; case 'gmp_pow' : @@ -674,13 +675,14 @@ function PMA_sendHeaderLocation($uri) echo '' . "\n"; echo '' . "\n"; + echo 'setTimeout("window.location = unescape(\'"' . $uri . '"\')", 2000);' . "\n"; echo '//]]>' . "\n"; + echo '' . "\n"; echo '' . "\n"; echo '
' . "\n"; echo '