Не работает переопределение theme_pager

Д7. Хочу переопределить theme_pager. Скопировал функцию в template.php (тема Бартик) и переименовал в bartik_pager(), phptemplate_pager(). Меняю функцию. F5 → Ничего не поменялось.

Что делать? Вроде всё по мануалу..