PINT has just enough PHP for creating web apps