Editar linhas especificas de um arquivo

Pessoal,

Criei o seguinte arquivo:

config.php

<?php

define ('TEMA_BACKEND','default');
define ('TEMA_FRONTEND','default');

Agora eu quero que através do PHP, eu edite somente essas duas linhas, algo como:

// edição
$arquivo = '

<?php

' . define ('TEMA_BACKEND','default') . '
' . define ('TEMA_FRONTEND','default') . '

';

salvararquivo ('meuarquivo.php','$arquivo'); // salvararquivo = a função para editar - isso foi so mais ou menos como acredito que deveria ser

Já ouvi falar de segurança e tal, e a explicação para que deve ser assim, é que se eu salvar o registor na tabela do banco de dados, e suponhamos, o administrador adiciona o template com desfalque de arquivos, eu programei para dar erro caso falte algum, então nesse caso ele só consiguirá mudar o tema, alterando no banco de dados. Seria complicado! Por isso, acho mais prático informar o tema no arquivo, para o usuário final.

Abraço.