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

Merge "Fix the Linter category subpage search when namespace field is blank"

Browse source
This commit is contained in:
jenkins-bot 2024-07-19 06:50:34 +00:00 committed by Gerrit Code Review
parent 489fe5a912 85ea579c97
commit 08fbe80da9
1 changed files with 5 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
includes/SpecialLintErrors.php
View file

@ -210,9 +210,11 @@ class SpecialLintErrors extends SpecialPage {
);
if ( $request->getCheck( 'wpNamespaceRestrictions' ) ) {
$namespaceRequestValues = $request->getRawVal( 'wpNamespaceRestrictions' );
$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 ) );
if ( strlen( $namespaceRequestValues ) > 0 ) {
$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 ) );
}
}
return $namespaces;
}