diff --git a/html/index.php b/html/index.php
index 2ed3d427ef..46164c663b 100644
--- a/html/index.php
+++ b/html/index.php
@@ -19,7 +19,7 @@ if (empty($_SERVER['PATH_INFO'])) {
     else {
         $_SERVER['PATH_INFO'] = !empty($_SERVER['ORIG_PATH_INFO']) ? $_SERVER['ORIG_PATH_INFO'] : '';
     }
-}   
+}
 
 function logErrors($errno, $errstr, $errfile, $errline) {
     global $php_debug;