Passed
Push — master ( 7f91dd...de6a9e )
by Jaime Pérez
02:14
created
www/managetoken.php 1 patch
Switch Indentation   +13 added lines, -13 removed lines patch added patch discarded remove patch
@@ -26,18 +26,18 @@
 block discarded – undo
26 26
     throw new Exception("Attempt to access the token management page unauthenticated.");
27 27
 }
28 28
 switch ($_POST['submit']) {
29
-    case "NEVERMIND":
30
-        Auth\ProcessingChain::resumeProcessing($state);
31
-        break;
32
-    case "DELETE":
33
-        if ($state['FIDO2AuthSuccessful'] == $_POST['credId']) {
34
-            throw new Exception("Attempt to delete the currently used credential despite UI preventing this.");
35
-        }
36
-        $store = $state['webauthn:store'];
37
-        $store->deleteTokenData($_POST['credId']);
38
-        Auth\ProcessingChain::resumeProcessing($state);
39
-        break;
40
-    default:
41
-        throw new Exception("Unknown submit button state.");
29
+        case "NEVERMIND":
30
+            Auth\ProcessingChain::resumeProcessing($state);
31
+            break;
32
+        case "DELETE":
33
+            if ($state['FIDO2AuthSuccessful'] == $_POST['credId']) {
34
+                throw new Exception("Attempt to delete the currently used credential despite UI preventing this.");
35
+            }
36
+            $store = $state['webauthn:store'];
37
+            $store->deleteTokenData($_POST['credId']);
38
+            Auth\ProcessingChain::resumeProcessing($state);
39
+            break;
40
+        default:
41
+            throw new Exception("Unknown submit button state.");
42 42
 }
43 43
 
Please login to merge, or discard this patch.