PHP utilities to generate common HTML elements, to be used in your favorite template engine (or pure php)