PHP: bestimmte version in der cli nutzen