f71ba31bfe
If the user has edit permissions, the "History" button is shown in a button group with "Edit" and "Rename". If the user does not have edit permissions, it's shown by itself. This commit also renames the label from "Page History" to "History".