wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-12-19 02:10:41 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "SECURITY: Improve regular expression performance" into REL1_39

Browse source
This commit is contained in:
jenkins-bot 2024-06-04 15:02:28 +00:00 committed by Gerrit Code Review
parent 15ed845c87 38019f441a
commit dd8489deee
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/MediaWikiGadgetsDefinitionRepo.php
View file

@ -173,7 +173,7 @@ class MediaWikiGadgetsDefinitionRepo extends GadgetRepo {
foreach ( $lines as $line ) {
$m = [];
if ( preg_match( '/^==+ *([^*:\s|]+?)\s*==+\s*$/', $line, $m ) ) {
if ( preg_match( '/^==+ *([^*:\s|]+)\s*(?<!=)==+\s*$/', $line, $m ) ) {
$section = $m[1];
} else {
$gadget = $this->newFromDefinition( $line, $section );