--- a/wp/wp-admin/includes/admin.php	Mon Jun 08 16:11:51 2015 +0000
+++ b/wp/wp-admin/includes/admin.php	Tue Jun 09 03:35:32 2015 +0200
@@ -7,9 +7,11 @@
  */
 
 if ( ! defined('WP_ADMIN') ) {
-	// This file is being included from a file other than wp-admin/admin.php, so
-	// some setup was skipped. Make sure the admin message catalog is loaded since
-	// load_default_textdomain() will not have done so in this context.
+	/*
+	 * This file is being included from a file other than wp-admin/admin.php, so
+	 * some setup was skipped. Make sure the admin message catalog is loaded since
+	 * load_default_textdomain() will not have done so in this context.
+	 */
 	load_textdomain( 'default', WP_LANG_DIR . '/admin-' . get_locale() . '.mo' );
 }