Не уверен, что это стоит выносить в настройки: обычному пользователю это не особо нужно, плюс лишняя ненужная нагрузка на сервер. Имеет смысл в будущем прикрутить автоматическую смену интервала на более длительный (минуту и более), если прикручивать обновление в бэкграунде, и обратно на более короткий 15-секундный, если пользователь открыл попап расширения.