--- a/wp/wp-content/themes/twentythirteen/index.php	Tue Jun 09 11:14:17 2015 +0000
+++ b/wp/wp-content/themes/twentythirteen/index.php	Mon Oct 14 17:39:30 2019 +0200
@@ -21,7 +21,10 @@
 		<?php if ( have_posts() ) : ?>
 
 			<?php /* The loop */ ?>
-			<?php while ( have_posts() ) : the_post(); ?>
+			<?php
+			while ( have_posts() ) :
+				the_post();
+?>
 				<?php get_template_part( 'content', get_post_format() ); ?>
 			<?php endwhile; ?>