PHP serialization format for protected properties