jenkins-bot has submitted this change and it was merged. Change subject: Fix type hint after rename ......................................................................
Fix type hint after rename Change-Id: I41c2d19ae0ece476c77727772d71624be4250c38 --- M lib/includes/Localizer/MessageParameterFormatter.php 1 file changed, 2 insertions(+), 2 deletions(-) Approvals: Thiemo Mättig (WMDE): Checked; Looks good to me, approved jenkins-bot: Verified diff --git a/lib/includes/Localizer/MessageParameterFormatter.php b/lib/includes/Localizer/MessageParameterFormatter.php index 26c5e0f..86e8ec0 100644 --- a/lib/includes/Localizer/MessageParameterFormatter.php +++ b/lib/includes/Localizer/MessageParameterFormatter.php @@ -6,7 +6,7 @@ use Language; use SiteStore; use ValueFormatters\FormattingException; -use ValueFormatters\Localizer; +use ValueFormatters\NumberLocalizer; use ValueFormatters\ValueFormatter; use Wikibase\DataModel\Entity\EntityId; use Wikibase\DataModel\SiteLink; @@ -43,7 +43,7 @@ private $language; /** - * @var Localizer + * @var NumberLocalizer */ private $valueLocalizer; -- To view, visit https://gerrit.wikimedia.org/r/135029 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I41c2d19ae0ece476c77727772d71624be4250c38 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Wikibase Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw <jeroended...@gmail.com> Gerrit-Reviewer: Thiemo Mättig (WMDE) <thiemo.maet...@wikimedia.de> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits