Are you sure you want to delete the file UserSettings.php?
| Name | Size | Permission | Action |
|---|---|---|---|
| InstanceProperties.php | 75098 bytes | 0644 | |
| UserSettings.php | 546 bytes | 0644 |
Are you sure you want to delete the file UserSettings.php?
| Name | Size | Permission | Action |
|---|---|---|---|
| InstanceProperties.php | 75098 bytes | 0644 | |
| UserSettings.php | 546 bytes | 0644 |