The last time I was in a restaurant kitchen, I noticed spinach kept in a separate container.
At first, I wondered what it was, and there wasn't much of it either.
So I think it's probably just pre boiled on it's own
There would be very little cooking time, to spice it
If it is from a can, then this place used a small one