php: hide extensions menu if not enabled
authorPeter Korsgaard <jacmet@sunsite.dk>
Tue, 25 Mar 2008 08:49:38 +0000 (08:49 -0000)
committerPeter Korsgaard <jacmet@sunsite.dk>
Tue, 25 Mar 2008 08:49:38 +0000 (08:49 -0000)
commit85f8ba8a76947074540433520c2c8855703a5b21
tree4806d41f03096d75519e23262dad013cc240d6bb
parent4ba30531cf15dab19707a8219164146390d138a5
php: hide extensions menu if not enabled
package/php/Config.in