[RFC] PHP 5.3

[Florentin Adolf]

Hi Alex

I tried this patch after fetching a brand new ports-tree, deinstalling the removed ports (which were spl and pcre)and a few others which had IGNORED (like Zend Optimizer...), all went pretty smooth until i ran into this error:

/usr/ports/databases/php5-mysqli/work/php-5.3.1/ext/mysqli/mysqli.c:35:45: error: ext/mysqlnd/mysqlnd_portability.h: No such file or directory
/usr/ports/databases/php5-mysqli/work/php-5.3.1/ext/mysqli/mysqli_api.c:34:45: error: ext/mysqlnd/mysqlnd_portability.h: No such file or directory

All i could find was somthing on php.net about not to mix 5.2 extensions with 5.3, which i didn't.
Was wondering if anyone else ran into this problem.

Info that might be of interest:
7.2-RELEASE-p5 amd64
mysql 5.0.88

Best regards

Florentin