jenkins-bot has submitted this change and it was merged.
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(-)
Approvals:
Daniel Kinzler: Looks good to me, but someone else must approve
Siebrand: Looks good to me, approved
Raimond Spekking: Looks good to me, but someone else must approve
jenkins-bot: Verified
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: merged
Gerrit-Change-Id: I8fd2c27dea5f0822514b7ce78a9ad8ff2bbe42f4
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Siebrand <siebr...@kitano.nl>
Gerrit-Reviewer: Daniel Kinzler <daniel.kinz...@wikimedia.de>
Gerrit-Reviewer: Happy-melon <happy.melon.w...@gmail.com>
Gerrit-Reviewer: IAlex <coderev...@emsenhuber.ch>
Gerrit-Reviewer: Jdlrobson <jrob...@wikimedia.org>
Gerrit-Reviewer: Nikerabbit <niklas.laxst...@gmail.com>
Gerrit-Reviewer: Pginer <pgi...@wikimedia.org>
Gerrit-Reviewer: Raimond Spekking <raimond.spekk...@gmail.com>
Gerrit-Reviewer: Siebrand <siebr...@kitano.nl>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
