Add pagination to the manage tools page to help with large volumes of tools

Setup To test pagination, and the issue it solves, a large number of tool types need to be created. They can be mock types. I accomplished this locally, adding 3000 tools (As per current client) by: 1. Run SQL in DB (assumes you use mdl_ table prefix): INSERT INTO mdl_lti_types (name, baseurl, tooldomain, state, course, coursevisible, ltiversion, createdby, timemodified, timecreated) SELECT CONCAT( 'ltitool' , i), CONCAT( 'https://ltitool' , i, '.org' ), CONCAT( 'ltitool' , i, '.org' ), 1 , 1 , 1 , 'LTI-1p0' , 2 , 1601448605 , 1601448605 FROM generate_series( 1 , 3000 ) i; Test pagination Before patch Go to Site Administration -> Plugins -> Activity modules -> Manage tools (/mod/lti/toolconfigure.php) Record time for page to load all tool type cards. The page may be more or less functional while scrolling depending on your machine's hardware, and browser support for hardware acceleration. After patch Go to Site Administration -> Plugins -> Activity modules -> Manage tools (/mod/lti/toolconfigure.php) Record time for page to load first page of tool type cards. Confirm that only 60 tool cards are shown. Confirm that a paging bar is shown above the data. Click '2' in paging bar. Confirm that the next set of 60 tool cards are shown. Click 'Last' in paging bar. Confirm that the final set of tools are shown. E.g. You can see 'Tool 3000' at end of page.