New PHP snippet.