Standards compliant HTML filter written in PHP