wikimedia/mediawiki-extensions-RSS
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RSS synced 2024-09-23 18:29:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Replace Http::isValidURI with MWHttpRequest::isValidURI

Browse source 
Bug: T305813
Change-Id: I76d143117be4608588f41700f384205d7bbf2052
This commit is contained in:
gerritbot 2022-04-10 23:00:26 +00:00
parent 1422cd3def
commit 0d6929b901
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/RSSHooks.php
View file

@ -65,7 +65,7 @@ class RSSHooks {
}
if ( !Http::isValidURI( $input ) ) {
if ( !MWHttpRequest::isValidURI( $input ) ) {
return RSSUtils::getErrorHtml( 'rss-invalid-url', htmlspecialchars( $input ) );
}