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