Completed
Push — master ( 9fb92e...1099f2 )
by Tom
02:18
created
src/Parser/StringExtractor.php 1 patch
Braces   +6 added lines, -2 removed lines patch added patch discarded remove patch
@@ -21,8 +21,12 @@
 block discarded – undo
21 21
 		$strings = [];
22 22
 		while (isset($str[$pos]) && ($pos = strpos($str, '"', $pos)) !== false) {
23 23
 			$end = strpos($str, '"', $pos+1);
24
-			if (!$end) break;
25
-			while ($str[$end-1] == '\\') $end = strpos($str, '"', $end+1);
24
+			if (!$end) {
25
+				break;
26
+			}
27
+			while ($str[$end-1] == '\\') {
28
+				$end = strpos($str, '"', $end+1);
29
+			}
26 30
 			$strings['$___STR' . ++$num] = substr($str, $pos, $end-$pos+1);
27 31
 			$str = substr_replace($str, '$___STR' . $num, $pos, $end-$pos+1);
28 32
 		}
Please login to merge, or discard this patch.