Code Editor : ExecutedCommandRegistry.php