Hallo zusammen,
soeben getestet unter Linux openSUSE 13.1 x86_64 mit KDE 4.11.5.
Da muss man etwas mehr Hand anlegen:
Ziel speichern unter öffnet Speichern-Fenster: Dateivorschlag index.php. Dateiauswahl-Filter gibt PHP-Skript vor, weitere Auswahl Alle Dateien. Dies dann auswählen und einen Namen.pdf vergeben. Dann Speichern anklicken und das verlinkte PDF-Dokument wird als PDF-Datei gespeichert.
Gruß
Feuerdrache