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