| Gestionnaire de fichiers - /usr/share/pkg-php-tools/ | |||||||||
|---|---|---|---|---|---|---|---|---|---|
|
|
|
||||||||
| Nom du fichier | Taille | La date | Permissions | Gestion | |||
|---|---|---|---|---|---|---|---|
| . | 2022-11-14 03:53:54 | ||||||
| .. | 2025-05-20 07:01:22 | ||||||
| autoloaders | 2025-07-02 07:20:33 | drwxr-xr-x | Supprimer | Renommer | Presser zip | Presser .tar.gz | |
| overrides | 2025-07-02 07:20:35 | drwxr-xr-x | Supprimer | Renommer | Presser zip | Presser .tar.gz | |