A PHP generator