wikimedia/mediawiki-skins-MinervaNeue
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/skins/MinervaNeue synced 2024-11-24 06:13:54 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Harden Definitions::insertCommunityPortal() method"

Browse source
This commit is contained in:
jenkins-bot 2019-05-04 01:48:20 +00:00 committed by Gerrit Code Review
parent 2ce755fdb2 26fea403c2
commit c3ebb6824a
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/menu/Definitions.php
View file

@ -309,7 +309,7 @@ final class Definitions {
return; return;
} }
$title = Title::newFromText( $titleName ); $title = Title::newFromText( $titleName );
if ( !$title->exists() ) { if ( $title === null || !$title->exists() ) {
return; return;
} }