<?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';