LC.web.PHPDEFAULT hat keine Wirkung?

Ich wollte die Default PHP-Version auf PHP8.5 ändern

Dazu habe ich eine Datei: /etc/liveconfig/lua.d/php-default.lua angelegt mit dem Inhalt

-- PHP-Standardversion ändern:
LC.web.PHPDEFAULT = 'php85'

Liveconfig mit systemctl restart liveconfig neugestartet, allerdings wird weiterhin PHP82 als Default angezeigt bzw. verwendet:

liveconfig --diag (Auszugsweise)

 - PHP 8.2.33 [DEFAULT] (code='php82', eol='2026-12-31')
   CGI/FastCGI: /opt/php-8.2/bin/php-cgi
   FPM: /opt/php-8.2/sbin/php-fpm
        pool config: /etc/php-fpm/php82-fpm.d
   default php.ini: /opt/php-8.2/etc/php.ini
 - PHP 8.5.10 (code='php85', eol='2028-12-31')
   CGI/FastCGI: /opt/php-8.5/bin/php-cgi
   FPM: /opt/php-8.5/sbin/php-fpm
        pool config: /etc/php-fpm/php85-fpm.d
   default php.ini: /opt/php-8.5/etc/php.ini
 - default PHP CLI: /usr/bin/php

Das ganze mit LiveConfig version 3.2.4 (build 17979)

Hat sich das Verfahren mit der Standard-PHP-Version in LIveconfig 3 geändert oder mache ich was verkehrt?

Danke!

Hier ist auch Debian 13 (aktuellster Stand) im Einsatz.

Ich habe die Ursache aber gerade gefunden. Bei mir war noch eine Datei

/usr/lib/liveconfig/lua/custom.lua

aktiv - und in der war 'php82' als Default definiert.

Die Datei hat offensichtlich eine höhere Priorität als /etc/liveconfig/lua.d/php-default.lua, deswegen konnte ich dort ändern, was ich wollte – das wurde nicht aktiv

custum.lua gelöscht (weil ansonsten war da nichts mehr drin, was man brauchte), Liveconfig neu gestartet und siehe da PHP8.5 ist Standard

Nochmals vielen Dank!