A few weeks ago, I had to move my blog due to a failing hard drive. It was running on an old server, and I took the opportunity to upgrade to php 7.2, coming from php 5.2 (yeah, I know).
Ever since, the pagination of the /wp-admin/edit.php (posts) is missing in the top right corner, but only for the first page. If I go to /wp-admin/edit.php?paged=2, then it appears again, and it's working as specified.
I am not sure where to look. Does anyone have an idea?