Is it possible that there is another bug ?
WeBuilder 11.2 (11.2.0.129) German edition
I've disabled the print option "Schwarzweiß" in "Voreinstellungen -> Druckoptionen -> Schwarzweiß" to get the highlighted version of a PHP-file printing.
It is effectless, wether I check this option or not - always the printing is black & white.
By the way, do you have a deadline for the next update ?

With greetings - webmosaics -