Ну, расширение это слишком громко сказано. С недавних пор оно идет в составе mercurial.
Просто добавляется несколько строк строк в hgrc:
[extensions]
keyword =
[keyword]
protected/controllers/**.php =
[keywordmaps]
Version = 1.3.0
...и при коммите все плэйсхолдеры вида $Version$ в изменившихся файлах, соответствующих маске, заменяются на $Version = 1.3.0 $
В любом случае, ваш подход к этому вопросу мне теперь понятен. Значит вам так удобнее.
Спасибо за ответ.