[notify] php-mysql: update to 5.4.13, extend configuration

Configuration changes:
----------------------
- instead of the client library that comes with mysql, libmysql,
  the native driver provided by PHP, called mysqlnd, is used for
  all mysql PHP extensions, see [1]
- added the extended version of the mysql driver, called mysqli,
  to the port, see [2]

Note:
-----
mysqlnd cannot use old-style 16bit passwords [3], you must convert
them to use the new hash method introduced with mysql 4.1.1.
A short guild how to do this can be found at [4].

[1] http://www.php.net/manual/en/book.mysqlnd.php
[2] http://www.php.net/manual/en/book.mysqli.php
[3] https://dev.mysql.com/doc/refman/5.5/en/password-hashing.html
[4] http://stackoverflow.com/a/14653092

php-mysql/.footprint

@@ -7,4 +7,6 @@ drwxr-xr-x	root/root	usr/lib/
 drwxr-xr-x	root/root	usr/lib/php/
 drwxr-xr-x	root/root	usr/lib/php/extensions/
 -rwxr-xr-x	root/root	usr/lib/php/extensions/mysql.so
+-rwxr-xr-x	root/root	usr/lib/php/extensions/mysqli.so
+-rwxr-xr-x	root/root	usr/lib/php/extensions/mysqlnd.so
 -rwxr-xr-x	root/root	usr/lib/php/extensions/pdo_mysql.so

php-mysql/.md5sum

@@ -1 +1 @@
-5c7b614242ae12e9cacca21c8ab84818  php-5.4.12.tar.bz2
+cacd308e978b7cf9ba4993196612ccf7  php-5.4.13.tar.bz2

php-mysql/Pkgfile

@@ -4,7 +4,7 @@
 # Depends on:  mysql
 
 name=php-mysql
-version=5.4.12
+version=5.4.13
 release=1
 source=(http://www.php.net/distributions/php-$version.tar.bz2)
 
@@ -13,13 +13,16 @@ build () {
 
     ./configure --disable-all \
                 --enable-pdo=shared \
-                --with-mysql=shared,/usr \
-                --with-pdo-mysql=shared,/usr
-
+                --enable-mysqlnd=shared \
+                --with-mysql=shared,mysqlnd \
+                --with-mysqli=shared,mysqlnd \
+                --with-pdo-mysql=shared,mysqlnd
+    
     make build-modules
 
     install -d $PKG/{etc/php/conf.d,usr/lib/php/extensions}
-    install -m 755 modules/*mysql.so $PKG/usr/lib/php/extensions
+    install -m 755 modules/*mysql*.so $PKG/usr/lib/php/extensions
 
-    printf "extension=%s\n" {pdo_,}mysql.so > $PKG/etc/php/conf.d/mysql.ini
+    printf 'extension=%s\n' {mysqlnd,mysql,mysqli,pdo_mysql}.so \
+           > $PKG/etc/php/conf.d/mysql.ini
 }