From 41cd25f208cb4e4b73686e9ddae8317333e5e01a Mon Sep 17 00:00:00 2001
From: Pol Torrent i Soler <pol.torrent@wiris.com>
Date: Wed, 27 Sep 2023 14:35:42 +0200
Subject: [PATCH] chore: clean whitespace

---
 integration/lib/php/Boot.class.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/integration/lib/php/Boot.class.php b/integration/lib/php/Boot.class.php
index b251079f..5269c8f6 100755
--- 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;