So, per sudo gedit mime.types
die Zeile um php
ergänzt und gespeichert
text/html html htm shtml php
Firefox neu gestartet, php-Datei wird nicht wie html angezeigt, sondern zum Download angeboten.
Das ist offenbar nicht die Schraube, ab der ich drehen muss.
Erst nach Beenden von gedit sehe ich mehrere dieser Bemerkungen auf dem Terminal:
(gedit:15597): Gtk-WARNING **: Calling Inhibit failed: GDBus.Error:org.freedesktop.DBus.Error.ServiceUnknown: The name org.gnome.SessionManager was not provided by any .service files