From ea5f05d900ca48c6c5af95cffb6e685252f85657 Mon Sep 17 00:00:00 2001 From: Aaron Schulz Date: Fri, 17 Oct 2008 23:25:46 +0000 Subject: [PATCH] (bug 6179) Actually the log for people who can't edit --- includes/OutputPage.php | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/includes/OutputPage.php b/includes/OutputPage.php index e07c74b744..2ee510c5d6 100644 --- a/includes/OutputPage.php +++ b/includes/OutputPage.php @@ -1259,7 +1259,14 @@ class OutputPage { } else { $this->setPageTitle( wfMsg( 'badaccess' ) ); } + if( $protected ) { + $this->addHTML( "
\n" ); + } $this->addWikiText( $this->formatPermissionsErrorMessage( $reasons, $action ) ); + if( $protected ) { + LogEventsList::showLogExtract( $this, 'protect', $wgTitle->getPrefixedText(), '', 1 ); + $this->addHTML( "
\n" ); + } } else { // Wiki is read only $this->setPageTitle( wfMsg( 'readonly' ) ); -- 2.20.1