Remove unused, deprecated ChangesList::usePatrol
authoraude <aude.wiki@gmail.com>
Sun, 3 Jan 2016 17:57:00 +0000 (09:57 -0800)
committeraude <aude.wiki@gmail.com>
Sun, 3 Jan 2016 19:09:19 +0000 (11:09 -0800)
commite4506630ebf81727abc8082a873fd495032a1af0
tree3606817aa4e8a6594c60fd7d475946cb25fbab17
parentc675730f964ed733d51b9d6e447a2e506d55b7d2
Remove unused, deprecated ChangesList::usePatrol

Deprecated since 1.22 and not used in any extension
hosted in Wikimedia git (and afaik elsewhere).

Change-Id: I0974ba80b7ab21b056d7f16e936b5c564b562e6d
RELEASE-NOTES-1.27
includes/changes/ChangesList.php