diff --git a/.gitignore b/.gitignore
index b45ed7247cdbbcb72a2351829080f3163ef2f005..63c8f9f27566565867b619e1d30dd9b416e30ea5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,4 @@
 # Used for simulating cron during development
 development.php
+
+.idea/
diff --git a/classes/manager/workflow_manager.php b/classes/manager/workflow_manager.php
index d9714eaba6b7b7def99bbc831580a47b0fdf0a65..7144af17ab213385795abdb45b67515a7011dd4e 100644
--- a/classes/manager/workflow_manager.php
+++ b/classes/manager/workflow_manager.php
@@ -241,7 +241,10 @@ class workflow_manager {
             }
         }
         if ($action === ACTION_WORKFLOW_DELETE) {
-            if (self::get_workflow($workflowid) && self::is_removable($workflowid) && confirm_sesskey()) { // check workflow wasn't already deleted, in case someone refreshes the page
+            // Check workflow wasn't already deleted, in case someone refreshes the page.
+            if (self::get_workflow($workflowid) &&
+                self::is_removable($workflowid) &&
+                confirm_sesskey()) {
                 self::remove($workflowid);
             } else {
                 echo $OUTPUT->notification(get_string('workflow_not_removeable', 'tool_lifecycle')