wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-11-23 15:36:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

SpecialLintErrors: Fix phan failure due to MW core change

Browse source 
Caused by 7be5a303d162ad525e69fa57820ac6108ce175b2

Bug: T377145
Change-Id: Id9cd01a392ef620aecac6254f643c53a8f94a8c3
This commit is contained in:
Reedy 2024-10-14 15:43:12 +01:00
parent 5faac3fe93
commit f80076f5aa
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
includes/SpecialLintErrors.php
View file

@ -209,8 +209,8 @@ class SpecialLintErrors extends SpecialPage {
}
);
if ( $request->getCheck( 'wpNamespaceRestrictions' ) ) {
$namespaceRequestValues = $request->getRawVal( 'wpNamespaceRestrictions' );
if ( strlen( $namespaceRequestValues ) > 0 ) {
$namespaceRequestValues = $request->getRawVal( 'wpNamespaceRestrictions' ) ?? '';
if ( $namespaceRequestValues !== '' ) {
$namespaceIDs = array_map( 'intval', explode( "\n", $namespaceRequestValues ) );
// Security measure: only allow active namespace IDs to reach the query
$namespaces = array_values( array_intersect( $activeNamespaces, $namespaceIDs ) );