Are you sure you want to delete the file PipesInterface.php?
| Name | Size | Permission | Action |
|---|---|---|---|
| AbstractPipes.php | 5110 bytes | 0644 | |
| PipesInterface.php | 1539 bytes | 0644 | |
| UnixPipes.php | 3646 bytes | 0644 | |
| WindowsPipes.php | 5880 bytes | 0644 |
Are you sure you want to delete the file PipesInterface.php?
| Name | Size | Permission | Action |
|---|---|---|---|
| AbstractPipes.php | 5110 bytes | 0644 | |
| PipesInterface.php | 1539 bytes | 0644 | |
| UnixPipes.php | 3646 bytes | 0644 | |
| WindowsPipes.php | 5880 bytes | 0644 |