I haven't seen an official announcement, and it's not mentioned on the downloads page yet, but you can grab PHP 5.1.4 from your favorite mirror.

Presumably, this release comes so soon after 5.1.3 due to the critical bug mentioned on PHPDeveloper.org. I just downloaded and installed it, and the bug seems to be fixed. Thanks, Dmitry!

Chris Shiflett Boulder-based founder, designer, and developer. Co-founder of Studioworks and Schoolcase, and founder of Faculty, a product studio. Writing about building things on the web since 2000. More about Chris →