Are you sure you want to delete the file OptionsResolver.php?
| Name | Size | Permission | Action |
|---|---|---|---|
| Exception | --- | 0755 | |
| Options.php | 15503 bytes | 0644 | |
| OptionsResolver.php | 9528 bytes | 0644 | |
| OptionsResolverInterface.php | 7671 bytes | 0644 | |
| autoloader.php | 345 bytes | 0644 |