jenkins-bot has submitted this change and it was merged.
Change subject: Stop recording special pages into pagelinks
......................................................................
Stop recording special pages into pagelinks
Bug: T74225
Change-Id: I49dcf3409eb32cd61b765e21d21560573de1876c
---
M includes/Parsoid/ReferenceExtractor.php
1 file changed, 9 insertions(+), 2 deletions(-)
Approvals:
Matthias Mullie: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/Parsoid/ReferenceExtractor.php
b/includes/Parsoid/ReferenceExtractor.php
index 192fa9b..c9a361a 100644
--- a/includes/Parsoid/ReferenceExtractor.php
+++ b/includes/Parsoid/ReferenceExtractor.php
@@ -63,9 +63,16 @@
foreach( $elements as $element ) {
$ref = $extractor->perform( $factory, $element
);
- if ( $ref !== null ) {
- $output[] = $ref;
+ // no reference was generated
+ if ( $ref === null ) {
+ continue;
}
+ // reference points to a special page
+ if ( $ref->getSrcTitle()->isSpecialPage() ) {
+ continue;
+ }
+
+ $output[] = $ref;
}
}
--
To view, visit https://gerrit.wikimedia.org/r/179058
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I49dcf3409eb32cd61b765e21d21560573de1876c
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Flow
Gerrit-Branch: master
Gerrit-Owner: EBernhardson <[email protected]>
Gerrit-Reviewer: EBernhardson <[email protected]>
Gerrit-Reviewer: Matthias Mullie <[email protected]>
Gerrit-Reviewer: SG <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
