![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| booleantype.php | 2020-09-23 06:21 | 442 | |
| datetimetype.php | 2020-09-23 06:24 | 384 | |
| datetype.php | 2020-09-23 06:21 | 262 | |
| doubletype.php | 2020-09-23 06:21 | 712 | |
| enumtype.php | 2022-12-27 16:33 | 563 | |
| filetype.php | 2023-06-13 16:58 | 810 | |
| integertype.php | 2020-09-23 06:21 | 635 | |
| stringformattedtype.php | 2020-09-23 06:21 | 870 | |
| stringtype.php | 2025-04-07 10:54 | 874 | |
| urltype.php | 2020-09-23 06:21 | 186 | |