HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/Echo…

Authored by jenkins-bot.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/Echo 892b3d7a8c52858d3e45664f582132b5f78eae96

Use localized numbers in the badge

Bug: T112224
Change-Id: I6df892bf92f5de0e0552a7b12c9799be640839bc

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXTed21e5104862: Updated mediawiki/extensions Project: mediawiki/extensions/Echo… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Sep 11 2015, 1:04 PM