2015-04-03 06:30:50 -04:00
|
|
|
<?php
|
|
|
|
|
|
|
|
if(! function_exists("string_plural_select_fr")) {
|
|
|
|
function string_plural_select_fr($n){
|
2018-11-16 15:16:09 -05:00
|
|
|
$n = intval($n);
|
2022-08-19 13:37:09 -04:00
|
|
|
if (($n == 0 || $n == 1)) { return 0; } else if ($n != 0 && $n % 1000000 == 0) { return 1; } else { return 2; }
|
2015-04-03 06:30:50 -04:00
|
|
|
}}
|
2021-10-10 02:27:53 -04:00
|
|
|
$a->strings['Enable WindowsPhonePush Addon'] = 'Activer l\'extension WindowsPhonePush';
|
|
|
|
$a->strings['Push text of new item'] = 'Pousse le texte du nouvel élément';
|
2022-08-19 13:37:09 -04:00
|
|
|
$a->strings['Device URL'] = 'URL de périphérique';
|
|
|
|
$a->strings['WindowsPhonePush Settings'] = 'Paramètres WindowsPhonePush';
|