a PHP extension for rapidxml