Merge d757de2184
into 5ff7fdae1d
This commit is contained in:
commit
6f85f7d7c8
|
@ -878,6 +878,7 @@ Libraries to help manage database schemas and migrations.
|
|||
* [PHP Queue](https://github.com/CoderKungfu/php-queue) - An application for managing queueing backends.
|
||||
* [phpRedisAdmin](https://github.com/ErikDubbelboer/phpRedisAdmin) - A simple web interface to manage [Redis](https://redis.io/) databases.
|
||||
* [PHPSandbox](https://phpsandbox.io) - An online IDE for PHP in the browser.
|
||||
* [RocketGit](http://rocketgit.com) - FOSS Git hosting platform with webhooks, anonpush, zero Javascript and more.
|
||||
|
||||
### Infrastructure
|
||||
*Infrastructure for providing PHP applications and services.*
|
||||
|
|
Loading…
Reference in New Issue