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

Merge "Drop unused variable"

Browse source
This commit is contained in:
jenkins-bot 2019-12-05 10:10:20 +00:00 committed by Gerrit Code Review
parent faf0b38fd9 646dc5f974
commit 6255ab85d9
1 changed files with 0 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/Cite.php
View file

@ -99,11 +99,6 @@ class Cite {
*/
private $referenceStack;
/**
* @var CiteKeyFormatter
*/
private $citeKeyFormatter;
/**
* @param Parser $parser
*/