¿Qué significa el código siguiente (es un lambda en la sentencia while, luego dos puntos después)? Desde JavaScript, no tengo ni idea de lo que eso significa o incluso cómo buscarlo. ¿Alguien puede ayudar a explicar esto?

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

Por cierto, obtuve esto de WordPress pero ¿es la sintaxis pura de PHP?