Formatação Valor Moeda PHP

O código abaixo funciona, criei para melhor formatar valores que retornavam

no arquivo TXT números distantes de outro, após converter PDF em TXT. Além

de problemas como no lugar do ponto há vírgula, a função trata corretamente.

Qual a dúvida? Alguém poderia escrever esse mesmo código de outra maneira?

Na sintaxe do PHP 7 como seria esse código?

	        <?php            

	        //--------------------------

	        // Essa função corrige as casas decimais, substitui vírgula por ponto,

	        // formatação em moeda Real

	        // Ex1.  12 345 67

	        // Retorna: 12.345,67

	        

	        // Ex2. 123,234.90

	        // Retorna: 123.234,90

	               

	        //atribui valor a variável $valor e chama a função 

	        $valor='123,234.90';

	        FormataValor($valor);

	            

	        

	        Function FormataValor($valorx){

	        $valorx = preg_replace("/[^0-9]/", "", $valorx);  

	        $tamanho=strlen($valorx);

	        if ($tamanho === 7){

	        

	            $a3                =    substr($valorx,0,2);

	            $b3                =    substr($valorx,2,3);

	            $c3                =    substr($valorx,5,2);        

	            $junta_valorx     =     $a3.".".$b3.",".$c3;

	            

	        }else{

	        

	            $a3                =    substr($valorx,0,3);

	            $b3                =    substr($valorx,3,3);

	            $c3                =    substr($valorx,6,2);

	            $junta_valorx     =     $a3.".".$b3.",".$c3;

	            

	        }

	        

	        echo $junta_valorx;

	        }

	        

	        ?>