Move class HistoryPager to own file
authorUmherirrender <umherirrender_de.wp@web.de>
Fri, 8 Mar 2019 20:56:38 +0000 (21:56 +0100)
committerUmherirrender <umherirrender_de.wp@web.de>
Fri, 8 Mar 2019 20:56:38 +0000 (21:56 +0100)
commit11ce0ab99b61febbd0844a5b5892510ba37ce034
tree833f51aa7cbca74586a59add156583707f27dec2
parentd515f784e58b0bb7c2cd3d1f844094aafd5bc14a
Move class HistoryPager to own file

Change-Id: Ie12e79e6f32225442b5bd794826f8c760b2c02d6
.phpcs.xml
autoload.php
includes/actions/HistoryAction.php
includes/actions/pagers/HistoryPager.php [new file with mode: 0644]