Stimmt, im PHP-Code ist das nicht gut aufgehoben. Bitte verwenden Sie entweder gleich den HTML-Code oder teilen Sie den String:
if (value('X001_01') == '61') {
replace('%gender7%', 'Fachkolleginnen und $'.'$-kollegen$'.'$');
} else {
replace('%gender7%', 'Fachkolleg:innen');
}
Das ist kein schöner Workaround, aber er sollte funktionieren :)