Code Editor : ResultPaginator.php