2015-04-03 12:30:50 +02:00
|
|
|
<?php
|
|
|
|
|
|
|
|
if(! function_exists("string_plural_select_de")) {
|
|
|
|
function string_plural_select_de($n){
|
2021-02-01 18:47:38 +01:00
|
|
|
$n = intval($n);
|
|
|
|
return intval($n != 1);
|
2015-04-03 12:30:50 +02:00
|
|
|
}}
|
|
|
|
;
|
|
|
|
$a->strings["WindowsPhonePush settings updated."] = "WindowsPhonePush Einstellungen aktualisiert.";
|
|
|
|
$a->strings["WindowsPhonePush Settings"] = "WindowsPhonePush Einstellungen";
|
2018-01-20 17:01:59 +01:00
|
|
|
$a->strings["Enable WindowsPhonePush Addon"] = "Aktiviere WindowsPhonePush Addon";
|
2015-04-03 12:30:50 +02:00
|
|
|
$a->strings["Push text of new item"] = "Text senden";
|
|
|
|
$a->strings["Save Settings"] = "Einstellungen speichern";
|