Создание тега на php

Здравствуйте, есть такая ситуация: в html файле есть код, в котором встречаются "псевдо -теги", например, {user}.
Мне надо чтобы после обработки, все эти теги работали.
У меня есть массив (вот его часть): $array = array("{user}" => "$_SESSION['user']").
И запрос к файлу: $page = file_get_contents("templates/main.html").

Раньше я так делал, но сейчас не могу вспомнить (и найти) функцию, которая обрабатывала бы переменную $page и выводила бы не {USER}, а значение сессии.
Может быть Вы подскажите? Заранее спасибо!