K 10 svn:author V 3 ale K 8 svn:date V 27 2004-01-30T09:59:33.000000Z K 7 svn:log V 153 Add workaround to silent bento, complaining php extensions remove an extra dir. Reported by: bento via kris Approved by: kris, nork (mentor/implicitly) END