2018-08-25 21:12:02 +02:00
|
|
|
<?php
|
|
|
|
|
|
|
|
if(! function_exists("string_plural_select_nl")) {
|
|
|
|
function string_plural_select_nl($n){
|
|
|
|
$n = intval($n);
|
2021-02-01 18:47:38 +01:00
|
|
|
return intval($n != 1);
|
2018-08-25 21:12:02 +02:00
|
|
|
}}
|
|
|
|
;
|
|
|
|
$a->strings["WindowsPhonePush settings updated."] = "WindowsPhonePush instellingen opgeslagen";
|
|
|
|
$a->strings["WindowsPhonePush Settings"] = "WindowsPhonePush instellingen";
|
|
|
|
$a->strings["Enable WindowsPhonePush Addon"] = "WindowsPhonePush Addon inschakelen";
|
|
|
|
$a->strings["Save Settings"] = "Instellingen opslaan";
|