Wiki: improved revisions listing

This change is complementary to this commit
https://github.com/php/web-wiki/commit/97eef0688fe51d2a89381c4f8b33d9bcefc1cd16