Are you sure you want to delete the file DegradedTimeConverter.php?
| Name | Size | Permission | Action |
|---|---|---|---|
| BigNumberTimeConverter.php | 1352 bytes | 0644 | |
| DegradedTimeConverter.php | 615 bytes | 0644 | |
| GenericTimeConverter.php | 3810 bytes | 0644 | |
| PhpTimeConverter.php | 5681 bytes | 0644 |