Are you sure you want to delete the file OptionInterface.php?
| Name | Size | Permission | Action |
|---|---|---|---|
| BooleanOption.php | 511 bytes | 0644 | |
| IntegerOption.php | 1022 bytes | 0644 | |
| Option.php | 1163 bytes | 0644 | |
| OptionInterface.php | 662 bytes | 0644 | |
| StringOption.php | 1015 bytes | 0644 |