A JavaScript parsing library for PHP