diff --git a/ChangeLog b/ChangeLog index 654f3e71be..6c618f7e14 100644 --- a/ChangeLog +++ b/ChangeLog @@ -10,6 +10,7 @@ phpMyAdmin - ChangeLog - bug #3894 [interface] Provide feedback if no columns selected for multi-submit - bug #3799 [interface] Incorrect select field change on ctrl key navigation in Firefox - bug #3885 [browse] display_binary_as_hex option causes unexpected behavior +- bug #3899 Git commit links to Github missing 4.0.0.0 (not yet released) + Patch #3481047 for rfe #3480477 Insert as new row enhancement diff --git a/libraries/Config.class.php b/libraries/Config.class.php index 2b566c1341..dd766ea910 100644 --- a/libraries/Config.class.php +++ b/libraries/Config.class.php @@ -713,12 +713,12 @@ class PMA_Config } $ch = curl_init($link); curl_setopt($ch, CURLOPT_FOLLOWLOCATION, 0); - curl_setopt($ch, CURLOPT_NOBODY, !$get_body); curl_setopt($ch, CURLOPT_HEADER, 1); curl_setopt($ch, CURLOPT_RETURNTRANSFER, 1); curl_setopt($ch, CURLOPT_SSL_VERIFYHOST, 0); curl_setopt($ch, CURLOPT_SSL_VERIFYPEER, 0); curl_setopt($ch, CURLOPT_CONNECTTIMEOUT, 5); + curl_setopt($ch, CURLOPT_USERAGENT, 'phpMyAdmin/' . PMA_VERSION); curl_setopt($ch, CURLOPT_TIMEOUT, 5); $data = @curl_exec($ch); if ($data === false) {