A library for converting code using the mysql extension into PDO in PHP