Merge pull request #569 from rezonanc/suggestion/grav

Add Grav
This commit is contained in:
Jose Diaz-Gonzalez 2016-02-27 16:08:04 -05:00
commit fab4591ea7

View File

@ -782,6 +782,7 @@ Libraries to help manage database schemas and migrations.
* [phpRedisAdmin](https://github.com/ErikDubbelboer/phpRedisAdmin) - A simple web interface to manage [Redis](http://redis.io/) databases.
* [phpPgAdmin](https://github.com/phppgadmin/phppgadmin) - A web-based administration tool for PostgreSQL.
* [phpMyAdmin](https://github.com/phpmyadmin/phpmyadmin) - A web interface for MySQL/MariaDB.
* [Grav](https://github.com/getgrav/grav) - A modern flat-file CMS.
## Infrastructure
*Infrastructure for providing PHP applications and services.*