add annotation for lib/view/Paging.php