Does anybody know a library like this for PHP or do I need to start coding?

At the moment my best practice is to use a printf-like function to do escaping for me, it suffers the problems described in the article though.

Very specific but a must-read for advanced javascript coders