![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 2019_10_22_000000_change_reason_text_col_type.php | 2023-07-31 22:15 | 626 | |
| 2018_09_15_043621_add_flags_indices.php | 2023-07-31 22:15 | 606 | |
| 2018_06_27_105100_change_users_rename_flags_read_time_to_read_flags_at.php | 2023-07-31 22:15 | 286 | |
| 2018_06_27_101600_change_flags_add_foreign_keys.php | 2023-07-31 22:15 | 1.4K | |
| 2018_06_27_101500_change_flags_rename_time_to_created_at.php | 2023-07-31 22:15 | 272 | |
| 2017_07_22_000000_add_default_permissions.php | 2023-07-31 22:15 | 370 | |
| 2015_09_02_000000_create_flags_table.php | 2023-07-31 22:15 | 645 | |
| 2015_09_02_000000_add_flags_read_time_to_users_table.php | 2023-07-31 22:15 | 311 | |