A PHP template engine based on HTML