pradosoft / prado

framework/Exceptions/TPhpErrorException.php

Spacing +1 added lines, -1 removed lines

@@ -43,7 +43,7 @@
 			E_USER_WARNING => "User Warning",
 			E_USER_NOTICE => "User Notice",
 		];
-		if(PHP_VERSION_ID < 80400) {
+		if (PHP_VERSION_ID < 80400) {
 			$errorTypes[E_STRICT] = "Runtime Notice";
 		}
 		$errorType = $errorTypes[$errno] ?? 'Unknown Error';

framework/Web/THttpSessionHandler.php

Spacing +2 added lines, -2 removed lines

@@ -64,7 +64,7 @@ 
 	 * @param int $max_lifetime the number of seconds after which data will be seen as 'garbage' and cleaned up.
 	 * @return bool whether session is GCed successfully
 	 */
-	public function gc(int $max_lifetime): int|false {
+	public function gc(int $max_lifetime): int | false {
 		return $this->_session->_gc($max_lifetime);
 	}
 
@@ -83,7 +83,7 @@ 
 	 * @param string $id session ID
 	 * @return string|false the session data
 	 */
-	public function read(string $id): string|false {
+	public function read(string $id): string | false {
 		return $this->_session->_read($id);
 	}