PHP UI extensions hack

Temp workaround, can be removed when changed in compiler