Do not use Checkboxes for user without deletelogentry in log
authorumherirrender <umherirrender_de.wp@web.de>
Fri, 21 Sep 2012 13:16:29 +0000 (15:16 +0200)
committerumherirrender <umherirrender_de.wp@web.de>
Fri, 21 Sep 2012 13:16:29 +0000 (15:16 +0200)
commit27b9ecc6f90196197d3397d64cf9ce73cd44ea6e
tree1a8110b48f2039c9a44f9b1d839a7d2ae4737179
parent6d13c84ee0e6376bcae0fa35229140acff2ddbcc
Do not use Checkboxes for user without deletelogentry in log

When a user has only deletedhistory and not deletelogentry he should not
see checkboxes, because the button at the begin of the page is missing
and than the checkbox is useless. Use links instead, as the history page
does.

Change-Id: Icae8267dcf3032437eae08372ddbe5769bed7a86
includes/logging/LogEventsList.php