action: Avoid use of deprecated Revision::* constants, use RevisionRecord
authorDerick Alangi <alangiderick@gmail.com>
Sun, 21 Jul 2019 14:15:46 +0000 (15:15 +0100)
committerDerick Alangi <alangiderick@gmail.com>
Sun, 21 Jul 2019 14:15:46 +0000 (15:15 +0100)
commit90c6954645177652fa1b9bdd904b3d67cf6e0152
treea80bcd0a07a2848683643df0f9f43dc56f61b95d
parent339211a1ead82c145fd09ae963ac08e74d40292c
action: Avoid use of deprecated Revision::* constants, use RevisionRecord

Change-Id: I09e3182cd83977d143ca7b34b791ea2cd0df0ef8
includes/actions/InfoAction.php
includes/actions/RollbackAction.php
includes/actions/pagers/HistoryPager.php