Что означает приведенный ниже код (это лямбда-выражение в выражении while, затем двоеточие после)? Исходя из JavaScript, я понятия не имею, что это значит или даже как его искать. Кто-нибудь может помочь объяснить это?

while ($query->have_posts()): $query->the_post();

Кстати, я получил это из WordPress, но является ли синтаксис чистым PHP?