added DoctrinePaginator.php