Merging develop from master (!). MySQL extension added for PHP.
Adding php-mysql extension.
Adding php-mysql extension.