| Index: trunk/extensions/Collection/Collection.body.php |
| — | — | @@ -1031,7 +1031,7 @@ |
| 1032 | 1032 | if ( method_exists( Http, 'userAgent' ) ) { |
| 1033 | 1033 | $userAgent .= Http::userAgent() . ', '; |
| 1034 | 1034 | } |
| 1035 | | - $userAgent .= "Collection/$wgCollectionVersion)" |
| | 1035 | + $userAgent .= "Collection/$wgCollectionVersion)"; |
| 1036 | 1036 | curl_setopt( $c, CURLOPT_USERAGENT, $userAgent); |
| 1037 | 1037 | curl_setopt( $c, CURLOPT_POST, true ); |
| 1038 | 1038 | curl_setopt( $c, CURLOPT_POSTFIELDS, $postFields ); |