Qual é a melhor maneira de pegar um texto simples (não código PHP) que contém variáveis no estilo PHP e depois substituir o valor da variável. Isso é meio difícil de descrever, então aqui está um exemplo.

// -- myFile.txt --
Mary had a little $pet.

// -- parser.php --
$pet = "lamb";
// open myFile.txt and transform it such that...
$newContents = "Mary had a little lamb.";

Eu estive pensando em usar um regex ou talvezeval(), embora não tenha certeza do que seria mais fácil. Esse script será executado apenas localmente, portanto, qualquer preocupação com problemas de segurança eeval() não se aplica(eu acho que?).

Também vou acrescentar que posso obter todas as variáveis necessárias em uma matriz usandoget_defined_vars():

$allVars = get_defined_vars();
echo $pet;             // "lamb"
echo $allVars['pet'];  // "lamb"