Видимо, отдохнув после релиза 5.5, на php.net поставили в бета-тестирование новый дизайн. Старый уж очень старомодно выглядел. Переключиться можно по ссылке php.net/?setbeta=1&beta=1. Используется HTML5, jQuery, jQueryUI. Кроме общей красоты, порадовал поиск не просто с автодополнениями (этим уже никого не удивишь), а с кратким описанием функций, методов, категорий и т. п.