Они, вероятно, сделали это с одной из библиотек JavaScript, на которые они ссылаются на веб-странице. Вероятно, сделал это с этот один?
Редактировать: Я был неверен при ближайшем рассмотрении, это этот файл , который используется, когда используется боковая панель, но я не могу найти библиотеку, из которой он пришел.
Возможно, вы могли бы просто связаться с ними и спросить?