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

Minor fixes to Cite port

Browse source 
Change-Id: Iccd6823c572059948e5ad1a7c91d567d39494934
This commit is contained in:
Subramanya Sastry 2019-06-26 11:58:55 -05:00
parent 3f0b81b085
commit bc72a99fb2
2 changed files with 6 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/Parsoid/RefGroup.php
View file

@ -117,7 +117,8 @@ class RefGroup {
$li->insertBefore( $span, $reftextSpan );
foreach ( $ref->linkbacks as $i => $lb ) {
$span->appendChild( self::createLinkback( $lb, $refGroup, (string)( $i + 1 ), $ownerDoc, $env )
$span->appendChild(
self::createLinkback( $lb, $refGroup, (string)( $i + 1 ), $ownerDoc, $env )
);
}
}

5
src/Parsoid/References.php
View file

@ -185,7 +185,10 @@ class References implements ExtensionTag, SerialHandler {
]
);
DOMDataUtils::addTypeOf( $linkBack, 'mw:Extension/ref' );
$dataParsoid = (object)[ 'src' => $nodeDp->src ];
$dataParsoid = (object)[];
if ( isset( $nodeDp->src ) ) {
$dataParsoid->src = $nodeDp->src;
}
if ( isset( $nodeDp->dsr ) ) {
$dataParsoid->dsr = $nodeDp->dsr;
}