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

Simplify initialization in ReferenceStack::pushRef

Browse source 
Change-Id: I52b0f891e41a0d0b25ac0aade0d4f4fcc4dcd2f2
This commit is contained in:
Thiemo Kreuz 2020-01-21 08:22:24 +01:00
parent b62d6e6fd4
commit 2da4305cd9
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/ReferenceStack.php
View file

@ -130,8 +130,6 @@ class ReferenceStack {
) : ?array { ) : ?array {
if ( !isset( $this->refs[$group] ) ) { if ( !isset( $this->refs[$group] ) ) {
$this->refs[$group] = []; $this->refs[$group] = [];
}
if ( !isset( $this->groupRefSequence[$group] ) ) {
$this->groupRefSequence[$group] = 0; $this->groupRefSequence[$group] = 0;
} }