<?php while (have_posts()) : the_post(); ?>


<?php endwhile; ?>

こんなWHILE文の書き方があったんですが、これってなんていう書き方なんでしょうか？
最初のwhile文の隣にあるコロン：とそのよこのthe_postはどういう関係なんですか？