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

Drop unused variable

Browse source 
Change-Id: I393a89ca909a632729c88ff73543bcf71061a8bf
This commit is contained in:
Adam Wight 2019-12-04 17:54:27 +01:00
parent 336dd4a27c
commit 646dc5f974
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
*/