Are you sure you want to delete the file Double.php?
| Name | Size | Permission | Action |
|---|---|---|---|
| Array_.php | 241 bytes | 0644 | |
| Bool_.php | 239 bytes | 0644 | |
| Double.php | 442 bytes | 0644 | |
| Int_.php | 237 bytes | 0644 | |
| Object_.php | 243 bytes | 0644 | |
| String_.php | 243 bytes | 0644 | |
| Unset_.php | 241 bytes | 0644 |