Are you sure you want to delete the file TokenStream.php?
| Name | Size | Permission | Action |
|---|---|---|---|
| DiffElem.php | 779 bytes | 0644 | |
| Differ.php | 5070 bytes | 0644 | |
| PrintableNewAnonClassNode.php | 2668 bytes | 0644 | |
| TokenPolyfill.php | 9413 bytes | 0644 | |
| TokenStream.php | 9254 bytes | 0644 |