From 6ef8d182974bd6191223d1f173f54443d4c8188f Mon Sep 17 00:00:00 2001
From: Denis Chenu <denis@sondages.pro>
Date: Wed, 26 Apr 2017 17:07:24 +0200
Subject: [PATCH] Coding standards part and bad empty Disallow - Unsure PHP_EOL
 is the best here : PHP_EOL are not the same on *nux and win, it's not for
 server , but for browser - _content vs _init : seems not really a web content
 ?

---
 mod/robots_txt.php | 32 +++++++++++++++-----------------
 1 file changed, 15 insertions(+), 17 deletions(-)

diff --git a/mod/robots_txt.php b/mod/robots_txt.php
index 450b854a1b..2af5ea5627 100644
--- a/mod/robots_txt.php
+++ b/mod/robots_txt.php
@@ -1,29 +1,27 @@
 <?php
 /**
  * return the default robots.txt
- * @version 0.1.0
+ * @version 0.1.1
  */
 
 /**
  * Simple robots.txt
- * @inheritdoc (?)
+ * @param App $a
+ * @return void
  */
 function robots_txt_init(App $a) {
 
-    /** @var string[] globally disallowed url */
-    $allDisalloweds=array(
-        '/settings/',
-        '/admin/',
-        '/message/',
-    );
+	/** @var string[] globally disallowed url */
+	$allDisalloweds = array(
+		"/settings/",
+		"/admin/",
+		"/message/",
+	);
 
-    header("Content-Type: text/plain");
-    echo "User-agent: *\n";
-    echo "Disallow:\n";
-    echo "\n";
-    echo "User-agent: *\n";
-    foreach($allDisalloweds as $disallowed) {
-        echo "Disallow: {$disallowed}\n";
-    }
-    killme();
+	header("Content-Type: text/plain");
+	echo "User-agent: *\n";
+	foreach($allDisalloweds as $disallowed) {
+		echo "Disallow: {$disallowed}\n";
+	}
+	killme();
 }