Remove redundant property declarations
authorThiemo Kreuz <thiemo.kreuz@wikimedia.de>
Thu, 20 Dec 2018 16:54:51 +0000 (17:54 +0100)
committerUmherirrender <umherirrender_de.wp@web.de>
Fri, 21 Dec 2018 19:12:21 +0000 (19:12 +0000)
commitc3f56bd3c3cb599cc0817086763ed9816d6f0a95
tree61e46fd1cc4f68b5ab6548e94425f826140c6f28
parenta67a4b10871a11fcbf20d2ea671d2e80202942a5
Remove redundant property declarations

These are already declared and initialized in the base class. No need
to repeat this.

Change-Id: I4f83202cc9076bd68fa25490bdf8b4a2913b6b04
includes/specials/pagers/ContribsPager.php