| Index: trunk/extensions/Collection/Collection.body.php |
| — | — | @@ -1187,7 +1187,7 @@ |
| 1188 | 1188 | if ( $timeout ) { |
| 1189 | 1189 | curl_setopt( $c, CURLOPT_TIMEOUT, $wgHTTPTimeout ); |
| 1190 | 1190 | } |
| 1191 | | - $headerStream = fopen('/tmp/headers.txt', 'w+'); tmpfile(); |
| | 1191 | + $headerStream = tmpfile(); |
| 1192 | 1192 | curl_setopt( $c, CURLOPT_WRITEHEADER, $headerStream ); |
| 1193 | 1193 | if ( $toFile ) { |
| 1194 | 1194 | curl_setopt( $c, CURLOPT_FILE, $toFile ); |