change Docker to 'Development Enviroment' section

This commit is contained in:
Jonathan A. Schweder 2016-11-17 08:14:13 -02:00
parent a3feade012
commit cf14521a6d
1 changed files with 1 additions and 1 deletions

View File

@ -813,6 +813,7 @@ Libraries to help manage database schemas and migrations.
* [PuPHPet](https://puphpet.com/) - A web tool for building PHP development virtual machines. * [PuPHPet](https://puphpet.com/) - A web tool for building PHP development virtual machines.
* [Puppet](https://puppet.com/) - A server automation framework and application. * [Puppet](https://puppet.com/) - A server automation framework and application.
* [Vagrant](https://www.vagrantup.com/) - A portable development environment utility. * [Vagrant](https://www.vagrantup.com/) - A portable development environment utility.
* [Docker](https://www.docker.com/) - A containerization platform.
## Virtual Machines ## Virtual Machines
*Alternative PHP virtual machines.* *Alternative PHP virtual machines.*
@ -848,7 +849,6 @@ Libraries to help manage database schemas and migrations.
* [appserver.io](http://appserver.io/) - A multithreaded application server for PHP, written in PHP. * [appserver.io](http://appserver.io/) - A multithreaded application server for PHP, written in PHP.
* [php-pm](https://github.com/php-pm/php-pm) - A process manager, supercharger and load balancer for PHP applications. * [php-pm](https://github.com/php-pm/php-pm) - A process manager, supercharger and load balancer for PHP applications.
* [Docker](https://www.docker.com/) - A containerization platform.
# Resources # Resources
Various resources, such as books, websites and articles, for improving your PHP development skills and knowledge. Various resources, such as books, websites and articles, for improving your PHP development skills and knowledge.