wikimedia/mediawiki-extensions-RSS
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RSS synced 2024-09-24 10:49:27 +00:00
Code Issues Packages Projects Releases Wiki Activity

removed superfluous code for setting userAgent since r112466

Browse source
This commit is contained in:
Thomas Gries 2012-02-27 01:44:30 +00:00
parent 896a9a3274
commit 4865be2f69
Notes: Thomas Gries 2012-02-27 01:44:30 +00:00 
https://mediawiki.org/wiki/Special:Code/MediaWiki/112467
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
RSSParser.php
View file

@ -296,7 +296,6 @@ class RSSParser {
)
);
$client->setUserAgent( $wgRSSUserAgent );
foreach ( $headers as $header => $value ) {
$client->setHeader( $header, $value );
}