Completed
Pull Request — master (#171)
by MusikAnimal
05:05
created
src/Xtools/Repository.php 1 patch
Spacing   +4 added lines, -4 removed lines patch added patch discarded remove patch
@@ -105,7 +105,7 @@  discard block
 block discarded – undo
105 105
             return;
106 106
         }
107 107
 
108
-        $requestTime = microtime(true) - $request->server->get('REQUEST_TIME_FLOAT');
108
+        $requestTime = microtime(true)-$request->server->get('REQUEST_TIME_FLOAT');
109 109
 
110 110
         return [
111 111
             'requestTime' => round($requestTime, 2),
@@ -230,7 +230,7 @@  discard block
 block discarded – undo
230 230
         // $tableExtension in order to generate the new table name
231 231
         if ($this->isLabs() && $tableExtension !== null) {
232 232
             $mapped = true;
233
-            $tableName = $tableName . '_' . $tableExtension;
233
+            $tableName = $tableName.'_'.$tableExtension;
234 234
         } elseif ($this->container->hasParameter("app.table.$tableName")) {
235 235
             // Use the table specified in the table mapping configuration, if present.
236 236
             $mapped = true;
@@ -345,11 +345,11 @@  discard block
 block discarded – undo
345 345
         $datesConditions = '';
346 346
         if (false !== $start) {
347 347
             // Convert to YYYYMMDDHHMMSS. *who in the world thought of having time in BLOB of this format ;-;*
348
-            $start = date('Ymd', $start) . '000000';
348
+            $start = date('Ymd', $start).'000000';
349 349
             $datesConditions .= " AND {$tableAlias}{$field} > '$start'";
350 350
         }
351 351
         if (false !== $end) {
352
-            $end = date('Ymd', $end) . '235959';
352
+            $end = date('Ymd', $end).'235959';
353 353
             $datesConditions .= " AND {$tableAlias}{$field} < '$end'";
354 354
         }
355 355
 
Please login to merge, or discard this patch.