Moved PHP 5.2.14-5.2.16 and PHP 5.3.3-5.3.5 to museum.php.net

Right float the bing attribution

Make this page a bit more compact so it is easier to scan for actual content

Another oft-requested file

Add a humans.txt file since it is getting requested. This saves
a useless web search query.

Improved sqlite search. See the comments for @todo items, but removed slow LIKE and increased sqlite hit frequency (e.g., php.net/function.strlen.php as per the 404 miss logs).

tweaked mirrortest check

Don't send proxy attempts through the backend web search

Distinguish between 404s and explicit searches and don't log mirrortest

Add a 404 profile - commit to backend first and let it synch before the mirrors start using it

Do a web search from the manual-lookup page when a function is not found

Updated 5.4 alpha1 info to alpha2. Bug spotted by Rafael Dohms

Fixed spacing issues on the home page that resulted from previous changes to headings and lists.

Added styles for 'standard' tables (e.g. the table of mailing lists).

Fixed styling of ul's in pages such as the mailing list.

Improved styling of h1's and h2's on pages such as svn, mailing lists, etc. Primarily adjusted spacing of headings to improve readability.

Improved styling of 'tips' sidebar. Viewable on mailing lists, svn, url how-to, etc. pages.

5.3.7RC3

typo fix

Fix start/end values

Make ChangeLog and News archive searches work

Get closer to the bing style guide

Switching search backend from Yahoo to Bing.
and to head off the inevitable bitching about this, it
is because the Yahoo BOSS v1 API we are using is going
away on July 20 and Yahoo was no

Switching search backend from Yahoo to Bing.
and to head off the inevitable bitching about this, it
is because the Yahoo BOSS v1 API we are using is going
away on July 20 and Yahoo was not willing to give us
free access to the new v2 API. It would end up costing
us about $600/year at our current usage pattern.
The new Google REST API would cost us about $7500/year.
The Bing API is free.

show more ...

Added a few missing languages to LANGUAGES_MAP, and changed missing bing languages to en-us. And added a link to the docs.

Added LANGUAGES_MAP for bing search. It deserves a review and probably contains mistakes. Will review once bing is implemented.