Javascript to manage the paging dropdown control. Source: lib/amd/src/paged_content_paging_dropdown.js, line 16 Copyright: 2018 Ryan Wyllie License: http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later