Peter Korsgaard 85f8ba8a76 php: hide extensions menu if not enabled		2008-03-25 08:49:38 +00:00
..
Config.ext
Config.in	php: hide extensions menu if not enabled	2008-03-25 08:49:38 +00:00
php.mk	fixes for php makefile	2008-03-11 18:14:42 +00:00