Какую библиотеку используют Mail ru для пагинации?

Маил.ру государственная компания, поэтому у них используется Федеральное государственное бюджетное учреждение культуры «Российская государственная библиотека для молодёжи»