Porto's community gardens close for hospital redevelopment after decade of local cultivation