Include "Execution" group

danielbachhuber · danielbachhuber · commit adea794f1bf1 · 2016-02-18T12:23:25.000-08:00
diff --git a/Phakefile.php b/Phakefile.php
@@ -131,6 +131,7 @@ function gen_cmd_pages( $cmd, $parent = array() ) {
 	$categories = array(
 		'Output' => array(),
 		'Input'  => array(),
+		'Execution' => array(),
 		'Misc'   => array(),
 	);
 
