I doubt that that is the official website... On the website of the city of Barcelona they also mention 10am.

Strangely enough, I sometimes go there for a walk in the morning. And I'm sure that was always before 10am (with no tourist in sight ). But I always use one of the side entrances.

Maybe they have changed the opening hours? I'll see if I have time for a walk next weekend...