maybe we leave this defined to avoid PHP Warnings in possible uses in 3rd party backends. It won't hurt after all.