<?php if(! function_exists("string_plural_select_de")) { function string_plural_select_de($n){ $n = intval($n); return intval($n != 1); }} ; $a->strings["WindowsPhonePush settings updated."] = "WindowsPhonePush Einstellungen aktualisiert."; $a->strings["WindowsPhonePush Settings"] = "WindowsPhonePush Einstellungen"; $a->strings["Enable WindowsPhonePush Addon"] = "Aktiviere WindowsPhonePush Addon"; $a->strings["Push text of new item"] = "Text senden"; $a->strings["Save Settings"] = "Einstellungen speichern";