Fixes #8: mysql_ extension still supported until PHP 5.4