Index: trunk/extensions/CodeReview/CodeRevisionCommitter.php |
— | — | @@ -18,7 +18,8 @@ |
19 | 19 | global $wgRequest, $wgOut, $wgUser; |
20 | 20 | |
21 | 21 | if( !$wgUser->matchEditToken( $wgRequest->getVal('wpEditToken') ) ) { |
22 | | - $wgOut->addHTML( wfMsg('sessionfailure') ); |
| 22 | + $wgOut->addHTML( '<strong>' . wfMsg('sessionfailure') . '</strong>' ); |
| 23 | + parent::execute(); |
23 | 24 | return; |
24 | 25 | } |
25 | 26 | |