Removes pagination manager

The pagination manager is covered by the input manager, so this removes
the pagination manager.