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

Merge "Rename field to "key""

Browse source
This commit is contained in:
jenkins-bot 2019-12-09 12:21:18 +00:00 committed by Gerrit Code Review
parent 4a0026d9bc d6c0155e4c
commit 740bd24178
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/ReferenceStack.php
View file

@ -252,8 +252,8 @@ class ReferenceStack {
$call = array_pop( $this->refCallStack );
if ( $call !== false ) {
[ $action, $argv, $text, $name, $extends, $group, $index ] = $call;
$this->rollbackRef( $action, $name, $extends, $group, $index );
[ $action, $argv, $text, $name, $extends, $group, $key ] = $call;
$this->rollbackRef( $action, $name, $extends, $group, $key );
$redoStack[] = [ $argv, $text ];
}
}