Reformat the files in bin/.

bin/initMDSPdo.php

@@ -19,7 +19,7 @@ foreach ($config['metadata.sources'] as $source) {
         $result = $metadataStorageHandler->initDatabase();
 
         if ($result === false) {
-			echo "Failed to intialize metadata database.". PHP_EOL;
+            echo "Failed to initialize metadata database.".PHP_EOL;
         } else {
             echo "Successfully initialized metadata database.".PHP_EOL;
         }

bin/memcacheSync.php

@@ -38,7 +38,7 @@ $keys = array();
 foreach ($stats as $group) {
     foreach ($group as $server => $state) {
 
-		if($state === FALSE) {
+        if ($state === false) {
             echo("WARNING: Server ".$server." is down.\n");
             $warnServerDown++;
             continue;
@@ -61,7 +61,7 @@ $skipped = 0;
 $sync = 0;
 foreach ($keys as $key) {
     $res = SimpleSAML_Memcache::get($key);
-	if($res === NULL) {
+    if ($res === null) {
         $skipped += 1;
     } else {
         $sync += 1;
@@ -88,10 +88,12 @@ if($warnBigSlab > 0) {
 /**
  * Fetch all keys available in an server.
  *
- * @param $server  The server, as a string with <hostname>:<port>.
- * @return  An array with all the keys available on the server.
+ * @param string $server The server, as a string with <hostname>:<port>.
+ *
+ * @return array An array with all the keys available on the server.
  */
-function getServerKeys($server) {
+function getServerKeys($server)
+{
     $server = explode(':', $server);
     $host = $server[0];
     $port = (int) $server[1];
@@ -100,14 +102,14 @@ function getServerKeys($server) {
     $socket = fsockopen($host, $port);
     echo("Connected. Finding keys.\n");
 
-	if(fwrite($socket, "stats slabs\r\n") === FALSE) {
+    if (fwrite($socket, "stats slabs\r\n") === false) {
         echo("Error requesting slab dump from server.\n");
         exit(1);
     }
 
     // Read list of slabs
     $slabs = array();
-	while( ($line = fgets($socket)) !== FALSE) {
+    while (($line = fgets($socket)) !== false) {
         $line = rtrim($line);
         if ($line === 'END') {
             break;
@@ -115,7 +117,7 @@ function getServerKeys($server) {
 
         if (preg_match('/^STAT (\d+):/', $line, $matches)) {
             $slab = (int) $matches[1];
-			if(!in_array($slab, $slabs, TRUE)) {
+            if (!in_array($slab, $slabs, true)) {
                 $slabs[] = $slab;
             }
         }
@@ -125,7 +127,7 @@ function getServerKeys($server) {
     $keys = array();
     foreach ($slabs as $slab) {
 
-		if(fwrite($socket, "stats cachedump " . $slab . " 1000000\r\n") === FALSE) {
+        if (fwrite($socket, "stats cachedump ".$slab." 1000000\r\n") === false) {
             echo("Error requesting cache dump from server.\n");
             exit(1);
         }
@@ -135,7 +137,7 @@ function getServerKeys($server) {
          */
         $resultSize = 0;
 
-		while( ($line = fgets($socket)) !== FALSE) {
+        while (($line = fgets($socket)) !== false) {
             $resultSize += strlen($line);
 
             $line = rtrim($line);