r37972 MediaWiki - Code Review archive

Repository:MediaWiki
Revision:r37971‎ | r37972 | r37973 >
Date:19:42, 23 July 2008
Author:aaron
Status:old
Tags:
Comment:
lowProfileUI() tweak
Modified paths:
  • /trunk/extensions/FlaggedRevs/FlaggedArticle.php (modified) (history)

Diff [purge]

Index: trunk/extensions/FlaggedRevs/FlaggedArticle.php
@@ -347,7 +347,7 @@
348348 }
349349 $synced = FlaggedRevs::stableVersionIsSynced( $frev, $this->parent, $parserOut, null );
350350 # Construct some tagging
351 - if( !$wgOut->isPrintable() && !FlaggedRevs::lowProfileUI() ) {
 351+ if( !$wgOut->isPrintable() && !(FlaggedRevs::lowProfileUI() && $synced) ) {
352352 $class = $quality ? 'fr-icon-quality' : 'fr-icon-stable';
353353 $tooltip = $quality ? 'revreview-quality-title' : 'revreview-stable-title';
354354 $tooltip = wfMsgHtml($tooltip);

Status & tagging log