Peter Korsgaard 85f8ba8a76 php: hide extensions menu if not enabled

2008-03-25 08:49:38 +00:00

..

Config.ext

enhancements for php

2008-03-06 18:21:33 +00:00

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