Council passes San Diego budget that restores library hours, fire rings and more — but at a cost to some city workers ...