deprecate ChangesList::usePatrol
authoraude <aude.wiki@gmail.com>
Tue, 2 Jul 2013 09:29:12 +0000 (09:29 +0000)
committeraude <aude.wiki@gmail.com>
Tue, 2 Jul 2013 15:15:24 +0000 (15:15 +0000)
commit90503e146a6feb9690d2b1f05db3882aacefe522
tree9e3c7906c6ef7e108026c6d9cae8921a264051b6
parent403b4fed47989741c0164ff97d674dd32aebfb40
deprecate ChangesList::usePatrol

not used anywhere in core, not used in wmf-enabled extensions,
and used little or not at all elsewhere.

Change-Id: I9957696f025190d863a472e4512eb214b9cb5ada
includes/ChangesList.php