Avoid undefined index on Special:Tags
authorumherirrender <umherirrender_de.wp@web.de>
Fri, 19 Jun 2015 18:10:41 +0000 (20:10 +0200)
committerumherirrender <umherirrender_de.wp@web.de>
Fri, 19 Jun 2015 18:10:41 +0000 (20:10 +0200)
commit72a077773a7b429f06c5de7933e66e654f2cb739
tree3c42928cfd07be9a3c85fb79c952896a7c526fde
parent100675aeb5e500823b5f6d536a431a95e9e43caf
Avoid undefined index on Special:Tags

An never used tag would not get returned by
ChangeTags::tagUsageStatistics and can raise an undefined index notice:
Undefined index: Test in \includes\specials\SpecialTags.php on line 340

Change-Id: I323f047e20a8f66e381b76d505f3b48123bfdf55
includes/specials/SpecialTags.php