Are you sure you want to delete the file Executor.php?
| Name | Size | Permission | Action |
|---|---|---|---|
| Linux | --- | 0755 | |
| Windows | --- | 0755 | |
| Executor.php | 1194 bytes | 0644 | |
| GroupOperationInterface.php | 722 bytes | 0644 |
Are you sure you want to delete the file Executor.php?
| Name | Size | Permission | Action |
|---|---|---|---|
| Linux | --- | 0755 | |
| Windows | --- | 0755 | |
| Executor.php | 1194 bytes | 0644 | |
| GroupOperationInterface.php | 722 bytes | 0644 |