zuernBernhard / bash_php_changer

This little bash script changes the php version (at least for Linux)

Geek Repo

Github PK Tool