diff -r 490d5cc509ed -r cf61fcea0001 wp/wp-content/themes/twentytwelve/page.php
--- a/wp/wp-content/themes/twentytwelve/page.php	Tue Jun 09 11:14:17 2015 +0000
+++ b/wp/wp-content/themes/twentytwelve/page.php	Mon Oct 14 17:39:30 2019 +0200
@@ -17,7 +17,10 @@
 	<div id="primary" class="site-content">
 		<div id="content" role="main">
 
-			<?php while ( have_posts() ) : the_post(); ?>
+			<?php
+			while ( have_posts() ) :
+				the_post();
+?>
 				<?php get_template_part( 'content', 'page' ); ?>
 				<?php comments_template( '', true ); ?>
 			<?php endwhile; // end of the loop. ?>
@@ -26,4 +29,4 @@
 	</div><!-- #primary -->
 
 <?php get_sidebar(); ?>
-<?php get_footer(); ?>
\ No newline at end of file
+<?php get_footer(); ?>