wikimedia/mediawiki-extensions-Cite
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Cite synced 2024-11-27 16:30:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

build: Updating mediawiki/mediawiki-phan-config to 0.11.0

Browse source 
Change-Id: Ifb2eec4e791fd0de0a50d8ef85e0947ab9a891e7
This commit is contained in:
Umherirrender 2021-09-19 00:17:36 +02:00 committed by Subramanya Sastry
parent f7bc278673
commit c0ace40aaa
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/Parsoid/Ref.php
View file

@ -166,6 +166,7 @@ class Ref extends ExtensionTagHandler {
$bodyElt = $bodyElt->cloneNode( true );
foreach ( $bodyElt->childNodes as $child ) {
if ( DOMUtils::hasTypeOf( $child, 'mw:Cite/Follow' ) ) {
// @phan-suppress-next-line PhanTypeMismatchArgumentSuperType
DOMCompat::remove( $child );
}
}