Hide patrol mark if patrolling is disabled
authorAaron Schulz <aaron@users.mediawiki.org>
Fri, 9 Jan 2009 22:49:40 +0000 (22:49 +0000)
committerAaron Schulz <aaron@users.mediawiki.org>
Fri, 9 Jan 2009 22:49:40 +0000 (22:49 +0000)
commit78678afa7c178ce25582b1f6eb90d06151706d0c
treead4a1afed26a9abf7a90a8a5ac4986f6c27f3389
parent26ead265aaa440b24c63d3cd110282ef344c585f
Hide patrol mark if patrolling is disabled
includes/RecentChange.php