Автозамена кавычек

Доброго дня! Василий, на store.simpledream.ru и тут в комментариях есть автозамена двойных кавычек на кавычки «елочки». Подскажи, чем это реализовано?
:)) Бедные менеджеры все время жалуются, что им долго «переключаться», что бы кавычки были именно елочками.