diff --git a/public/index.php b/public/index.php
index 3926767d..0be7eadb 100644
--- a/public/index.php
+++ b/public/index.php
@@ -1,10 +1,10 @@
-<?php
-// get useragent header
-$user_agent = $_SERVER['HTTP_USER_AGENT'];
-
-if(strpos($user_agent, 'curl') !== false) {
-include 'php/curl.php';
-} else {
-    include 'index.html';
-}
-?>
\ No newline at end of file
+<?php
+// get useragent header
+$user_agent = $_SERVER["HTTP_USER_AGENT"];
+
+if (strpos($user_agent, "curl") !== false) {
+    include "php/curl.php";
+} else {
+    include "index.html";
+}
+?>