Some MySQL stuff for PHP.