Peter Korsgaard 85f8ba8a76 php: hide extensions menu if not enabled		2008-03-25 08:49:38 +00:00
..
Config.ext	…
Config.in	…
php.mk	…