Javascript to enhance the paged content paging bar. Source: lib/amd/src/paged_content_paging_bar.js, line 16 Copyright: 2018 Ryan Wyllie License: http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later