make installed PHP versions selectable