PHP runtime for Teal