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

…