jenkins-bot has submitted this change and it was merged.

Change subject: Fixes to statsbar
......................................................................


Fixes to statsbar

Given that progress bars can be hundreds of pixels wide:
* Remove rounding of width % to whole number in JS
* Allow to decimal digits in PHP (more would just bloat the html size)
* The number of untranslated messages could be negative. Since
  proofread messages are subset of translated messages, don't
  remove proofread from total number of messages. This was already
  fixed for the width % but not for counts.

Change-Id: I6590c5888de7737f5af66a025d21eea94837bc1f
---
M resources/js/ext.translate.statsbar.js
M utils/StatsBar.php
2 files changed, 12 insertions(+), 9 deletions(-)

Approvals:
  Siebrand: Looks good to me, approved
  jenkins-bot: Verified; Looks good to me, but someone else must approve


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

Gerrit-MessageType: merged
Gerrit-Change-Id: I6590c5888de7737f5af66a025d21eea94837bc1f
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/Translate
Gerrit-Branch: master
Gerrit-Owner: Nikerabbit <[email protected]>
Gerrit-Reviewer: Nemo bis <[email protected]>
Gerrit-Reviewer: Nikerabbit <[email protected]>
Gerrit-Reviewer: Siebrand <[email protected]>
Gerrit-Reviewer: jenkins-bot

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to