fix phpstan (#31147)

Variable $optioncss in isset() always exists and is not nullable.
This commit is contained in:
Frédéric FRANCE 2024-09-26 22:23:08 +02:00 committed by GitHub
parent 2583190e4a
commit c4074310bb
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -250,7 +250,7 @@ if ($transvalue) {
print '<form action="'.$_SERVER["PHP_SELF"].'" method="POST">';
if (isset($optioncss) && $optioncss != '') {
if ($optioncss != '') {
print '<input type="hidden" name="optioncss" value="'.$optioncss.'">';
}
print '<input type="hidden" name="token" value="'.newToken().'">';