Are you sure you want to delete the file Scanner.php?
| Name | Size | Permission | Action |
|---|---|---|---|
| CharacterReference.php | 1531 bytes | 0644 | |
| DOMTreeBuilder.php | 22791 bytes | 0644 | |
| EventHandler.php | 3676 bytes | 0644 | |
| FileInputStream.php | 1161 bytes | 0644 | |
| InputStream.php | 2499 bytes | 0644 | |
| ParseError.php | 130 bytes | 0644 | |
| README.md | 1699 bytes | 0644 | |
| Scanner.php | 11460 bytes | 0644 | |
| StringInputStream.php | 9530 bytes | 0644 | |
| Tokenizer.php | 36025 bytes | 0644 | |
| TreeBuildingRules.php | 3273 bytes | 0644 | |
| UTF8Utils.php | 7515 bytes | 0644 |