Are you sure you want to delete the file ProfilerExtension.php?
| Name | Size | Permission | Action |
|---|---|---|---|
| AbstractExtension.php | 711 bytes | 0644 | |
| CoreExtension.php | 65036 bytes | 0644 | |
| DebugExtension.php | 1584 bytes | 0644 | |
| EscaperExtension.php | 6663 bytes | 0644 | |
| ExtensionInterface.php | 1971 bytes | 0644 | |
| GlobalsInterface.php | 649 bytes | 0644 | |
| OptimizerExtension.php | 612 bytes | 0644 | |
| ProfilerExtension.php | 1085 bytes | 0644 | |
| RuntimeExtensionInterface.php | 339 bytes | 0644 | |
| SandboxExtension.php | 5097 bytes | 0644 | |
| StagingExtension.php | 2551 bytes | 0644 | |
| StringLoaderExtension.php | 1146 bytes | 0644 | |
| YieldNotReadyExtension.php | 655 bytes | 0644 |