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 ~~~

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.