Are you sure you want to delete the file Ruleset.php?
| Name | Size | Permission | Action |
|---|---|---|---|
| Ruleset.php | 2895 bytes | 0644 | |
| RulesetEndpoint.php | 1105 bytes | 0644 | |
| RulesetParameter.php | 3937 bytes | 0644 | |
| RulesetStandardLibrary.php | 12616 bytes | 0644 |
Are you sure you want to delete the file Ruleset.php?
| Name | Size | Permission | Action |
|---|---|---|---|
| Ruleset.php | 2895 bytes | 0644 | |
| RulesetEndpoint.php | 1105 bytes | 0644 | |
| RulesetParameter.php | 3937 bytes | 0644 | |
| RulesetStandardLibrary.php | 12616 bytes | 0644 |