Ich habe es jetzt mit dem Plugin „Extra File Types“ gelöst (der Admin hat sich darum gekümmert). Damit läuft es wieder!
Okay, dann muss ich versuchen, den Administrator zu überzeugen. Was würdest Du empfehlen? wp-config.php ändern (wie?) oder Plugin (welches?)
Gruß, Shiehallion