Completed
Push — master ( 9d0a53...ecd7bc )
by Maik
01:48
created
src/Generics/Util/ExceptionErrorHandler.php 1 patch
Braces   +2 added lines, -3 removed lines patch added patch discarded remove patch
@@ -25,12 +25,11 @@
 block discarded – undo
25 25
     
26 26
     public function errorHandler(int $err_severity, string $err_msg, string $err_file, int $err_line, array $err_context)
27 27
     {
28
-        if (0 === error_reporting()) { 
28
+        if (0 === error_reporting()) {
29 29
             return false;
30 30
         }
31 31
         
32
-        switch($err_severity)
33
-        {
32
+        switch($err_severity) {
34 33
             case E_WARNING:  throw new WarningException  ($err_msg, 0, $err_severity, $err_file, $err_line);
35 34
             case E_NOTICE:  throw new NoticeException  ($err_msg, 0, $err_severity, $err_file, $err_line);
36 35
             case E_USER_ERROR:  throw new UserErrorException  ($err_msg, 0, $err_severity, $err_file, $err_line);
Please login to merge, or discard this patch.