PHP implementation of the jQuery DOM manipulation API for HTML documents