Are you sure you want to delete the file TokenStream.php?
| Name | Size | Permission | Action |
|---|---|---|---|
| DiffElem.php | 575 bytes | 0644 | |
| Differ.php | 4661 bytes | 0644 | |
| PrintableNewAnonClassNode.php | 2218 bytes | 0644 | |
| TokenStream.php | 9221 bytes | 0644 |
Are you sure you want to delete the file TokenStream.php?
| Name | Size | Permission | Action |
|---|---|---|---|
| DiffElem.php | 575 bytes | 0644 | |
| Differ.php | 4661 bytes | 0644 | |
| PrintableNewAnonClassNode.php | 2218 bytes | 0644 | |
| TokenStream.php | 9221 bytes | 0644 |