Passed
Pull Request — master (#19)
by
unknown
06:08 queued 02:43
created
src/MySQLReplication/Event/MariaDbGtidListEvent.php 1 patch
Spacing   +2 added lines, -2 removed lines patch added patch discarded remove patch
@@ -11,11 +11,11 @@
 block discarded – undo
11 11
     {
12 12
         $gtid_count = $this->binaryDataReader->readUInt32();
13 13
         $gtid_list = [];
14
-        for($i=0;$i < $gtid_count;$i++) {
14
+        for ($i = 0; $i < $gtid_count; $i++) {
15 15
             $domainId = $this->binaryDataReader->readUInt32();
16 16
             $serverId = $this->binaryDataReader->readUInt32();
17 17
             $seq = $this->binaryDataReader->readUInt64();
18
-            array_push($gtid_list,$domainId . '-' . $serverId . '-' . $seq);
18
+            array_push($gtid_list, $domainId . '-' . $serverId . '-' . $seq);
19 19
         }
20 20
         $mariaDbGtidList = implode(',', $gtid_list);
21 21
 
Please login to merge, or discard this patch.