Siebrand has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/219826

Change subject: Remove the strong formatting for 'revdelete-suppress'
......................................................................

Remove the strong formatting for 'revdelete-suppress'

Just came across this in the interface, and it drew my attention, but I
see no reason why this option is more or less important than 'watchthis'
or any other option.

Change-Id: I8fd2c27dea5f0822514b7ce78a9ad8ff2bbe42f4
---
M includes/page/Article.php
1 file changed, 2 insertions(+), 4 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core 
refs/changes/26/219826/1

diff --git a/includes/page/Article.php b/includes/page/Article.php
index 5d7f365..8a11844 100644
--- a/includes/page/Article.php
+++ b/includes/page/Article.php
@@ -1706,10 +1706,8 @@
 
                if ( $user->isAllowed( 'suppressrevision' ) ) {
                        $suppress = Html::openElement( 'div', array( 'id' => 
'wpDeleteSuppressRow' ) ) .
-                               "<strong>" .
-                                               Xml::checkLabel( wfMessage( 
'revdelete-suppress' )->text(),
-                                                       'wpSuppress', 
'wpSuppress', false, array( 'tabindex' => '4' ) ) .
-                                       "</strong>" .
+                               Xml::checkLabel( wfMessage( 
'revdelete-suppress' )->text(),
+                                       'wpSuppress', 'wpSuppress', false, 
array( 'tabindex' => '4' ) ) .
                                Html::closeElement( 'div' );
                } else {
                        $suppress = '';

-- 
To view, visit https://gerrit.wikimedia.org/r/219826
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I8fd2c27dea5f0822514b7ce78a9ad8ff2bbe42f4
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Siebrand <siebr...@kitano.nl>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to