Solved thread

This post is marked as solved. If you think the information contained on this thread must be part of the official documentation, please contribute submitting a pull request to its repository.

Little question

I just realized that sudo apt-get install php5-dev php5-mysql gcc libpcre3-dev also installs php5-dev. I don't know much, but I imagine it is for developing: so, the final user isn't going to need it, right?


php5-dev installs phpize and php-config which is needed to generate the extension Makefile to install the extension