PHP functional library for generating HTML