Just to overcome questions.

Not everyone might notice that PHP >= v. 5.4 has its own CLI web server
for local environments.