https://bugzilla.wikimedia.org/show_bug.cgi?id=69783
--- Comment #13 from T. Gries <[email protected]> --- Jens, better always read the documentation first, please. I invested a lot to document all my extensions in the best possible way. Nice to learn that your problem is fixed. Just as a remark: In certain installations (like in my own), it might be necessary to use a proxy when fetching RSS feeds from locations outside an enterprise internet, wherease you must not use a proxy when fetching RSS feeds from Urls inside the intranet. For such cases, a "switch" muss be toggled, see how in the code ! https://git.wikimedia.org/blob/mediawiki%2Fextensions%2FRSS/26b9a910ecafd461097932fd044028655350d389/RSSParser.php#L239 // Example for disabling proxy use for certain urls // $noProxy = preg_match( '!\.internal\.example\.com$!i', parse_url( $url, PHP_URL_HOST ) ); -- You are receiving this mail because: You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
