You are right, this is not PHP specific (although I use it for PHP deployment). I will remove the reference to PHP here.