Are you sure you want to delete the file DoubleEndedQueueInterface.php?
| Name | Size | Permission | Action |
|---|---|---|---|
| Exception | --- | 0755 | |
| Map | --- | 0755 | |
| Tool | --- | 0755 | |
| AbstractArray.php | 4405 bytes | 0644 | |
| AbstractCollection.php | 12060 bytes | 0644 | |
| AbstractSet.php | 1085 bytes | 0644 | |
| ArrayInterface.php | 1085 bytes | 0644 | |
| Collection.php | 2367 bytes | 0644 | |
| CollectionInterface.php | 9380 bytes | 0644 | |
| DoubleEndedQueue.php | 4302 bytes | 0644 | |
| DoubleEndedQueueInterface.php | 10434 bytes | 0644 | |
| GenericArray.php | 548 bytes | 0644 | |
| Queue.php | 3745 bytes | 0644 | |
| QueueInterface.php | 7462 bytes | 0644 | |
| Set.php | 1610 bytes | 0644 | |
| Sort.php | 657 bytes | 0644 |