string phpversion ([ string $extension ] )