[CentOS] How to search in mailing list

Hi folks,

I want to search the CentOS mailing list(s) for how to upgrade from PHP 5.3.3 to 5.4 (or higher) on CentOS 6.7.

From "CentOS Mailing Lists and Posting Guidelines" I can see "All public mailing lists are archived and those archives are searchable - there's a search box in the upper left corner on each of the lists listinfo page."

Then after opening http://lists.centos.org/mailman/listinfo/centos (which from my understanding is the "listinfo page") I don't see any search functionality. Just to be sure I followed to the CentOS archieves at http://lists.centos.org/pipermail/centos/ which as well doesn't contain any search functionality.

Can please someone point me to where I can search the CentOS mailing list?

Regards,

Meikel