chore: clean whitespace

wiris · Oct 5, 2023 · 949a21d · 949a21d
1 parent 04a7bcc
commit 949a21d
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/integration/lib/php/Boot.class.php b/integration/lib/php/Boot.class.php
@@ -138,7 +138,7 @@ function unshift($x) {
 	}
 
 	// ArrayAccess methods:
-	#[\ReturnTypeWillChange]	
+	#[\ReturnTypeWillChange]
 	function offsetExists($offset) {
 		return isset($this->»a[$offset]);
 	}
@@ -386,6 +386,7 @@ function _hx_index_of($s, $value, $startIndex = null) {
 	} else {
 		$x = strpos($s, $value, $startIndex);
 	}
+
 	if($x === false)
 		return -1;
 	else
@@ -419,7 +420,6 @@ function _hx_is_numeric($v)
 }
 
 function _hx_last_index_of($s, $value, $startIndex = null) {
-
 	if ($s == null || $value == null) {
 		return -1;
 	}
@@ -468,7 +468,7 @@ public function current() {
 		if (!$this->hasNext()) return null;
 		return $this->»h[0];
 	}
-	
+
 	#[\ReturnTypeWillChange]
 	public function key() {
 		return $this->»counter;