Merging develop from master (!). MySQL extension added for PHP.