[CentOS] How to search in mailing list

Mon Aug 31 13:45:29 UTC 2015
Meikel <meikel at fn.de>

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?