GitHub repos by php-stubs

1 public repo by php-stubs in the catalog, most starred first.