![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| is_attribute.php | 2022-05-06 12:27 | 228 | |
| is_default_xmlns_attribute.php | 2022-05-06 12:27 | 246 | |
| is_document.php | 2022-05-06 12:27 | 239 | |
| is_document_element.php | 2022-05-06 12:27 | 318 | |
| is_element.php | 2022-05-06 12:27 | 235 | |
| is_non_empty_text.php | 2022-05-06 12:27 | 202 | |
| is_text.php | 2022-05-06 12:27 | 223 | |
| is_whitespace.php | 2022-05-06 12:27 | 198 | |
| is_xmlns_attribute.php | 2022-05-06 12:27 | 278 | |