Yaron Koren has submitted this change and it was merged.
Change subject: tidying up layout of SD 'filters'
......................................................................
tidying up layout of SD 'filters'
Change-Id: I782e9b7b4c1e1e1314099ef3c5a85c6dcd5c76b1
---
M specials/SD_BrowseData.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Yaron Koren: Verified; Looks good to me, approved
jenkins-bot: Checked
diff --git a/specials/SD_BrowseData.php b/specials/SD_BrowseData.php
index 9bdf8e0..0ceac38 100644
--- a/specials/SD_BrowseData.php
+++ b/specials/SD_BrowseData.php
@@ -604,7 +604,7 @@
foreach ( $filter_values as $value_str => $num_results ) {
if ( $num_printed_values++ > 0 ) { $results_line .= " ยท
"; }
$filter_text = $this->printFilterValue( $f, $value_str
);
- $filter_text .= " ($num_results)";
+ $filter_text .= " ($num_results)";
$filter_url = $cur_url . urlencode( str_replace( ' ',
'_', $f->name ) ) . '=' . urlencode( str_replace( ' ', '_', $value_str ) );
if ( $sdgFiltersSmallestFontSize > 0 &&
$sdgFiltersLargestFontSize > 0 ) {
$font_size = round( $font_size_midpoint + ( (
$num_results - $num_results_midpoint ) / $num_results_per_font_pixel ) );
--
To view, visit https://gerrit.wikimedia.org/r/64535
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I782e9b7b4c1e1e1314099ef3c5a85c6dcd5c76b1
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/SemanticDrilldown
Gerrit-Branch: master
Gerrit-Owner: Dan Bolser <dan.bol...@gmail.com>
Gerrit-Reviewer: Yaron Koren <yaro...@gmail.com>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
