Dépôts de php-stubs

1 dépôt public de php-stubs au catalogue pour l’instant.