Cleaned up various revisiondelete IDE warnings
authorAaron Schulz <aschulz@wikimedia.org>
Fri, 22 May 2015 18:18:12 +0000 (11:18 -0700)
committerUmherirrender <umherirrender_de.wp@web.de>
Fri, 29 May 2015 21:40:36 +0000 (21:40 +0000)
commit4161843d87160470cf485c9cd816fb8472a293dc
tree2dfd2a8eb810d530ba17c52495e955ff708ea11f
parent016fd0b7762df17529cecc4a190a8734f99adc2a
Cleaned up various revisiondelete IDE warnings

Change-Id: I4750eabf9985785520aaac8eca12d488ca746966
includes/revisiondelete/RevDelItem.php
includes/revisiondelete/RevDelList.php
includes/revisiondelete/RevDelLogItem.php
includes/revisiondelete/RevisionDeleter.php
includes/specials/SpecialRevisiondelete.php