[Zope-CMF] [dev] small WebDAV improvement

[yuppie]

Hi!


If there are no objections or better ideas, I'd like to add this code to 
PortalFolder (CMF 1.5 and HEAD):

     def listDAVObjects(self):
         if _checkPermission(ManagePortal, self):
             return self.objectValues()
         else:
             return self.listFolderContents()

This way hidden objects like tools are only shown to managers.


Cheers,
	Yuppie