From 9478a098ab4b54bd0fe123f514dc968016307537 Mon Sep 17 00:00:00 2001 From: Robin Pepermans Date: Tue, 29 Nov 2011 21:07:24 +0000 Subject: [PATCH] Change number separator from dot to a space, per User:Nemo_bis (it is the convention in Italian to use spaces) --- languages/messages/MessagesIt.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/languages/messages/MessagesIt.php b/languages/messages/MessagesIt.php index 48e521d0cd..b4878ae6e5 100644 --- a/languages/messages/MessagesIt.php +++ b/languages/messages/MessagesIt.php @@ -82,7 +82,7 @@ $namespaceAliases = array( 'Discussioni_immagine' => NS_FILE_TALK, ); -$separatorTransformTable = array( ',' => '.', '.' => ',' ); +$separatorTransformTable = array( ',' => "\xc2\xa0", '.' => ',' ); $dateFormats = array( 'mdy time' => 'H:i', -- 2.20.1