Add a button to open revision history#10

jinningwang merged 2 commits intomainps-wiki/ps-wiki.github.io:mainfrom

pdfps-wiki/ps-wiki.github.io:pdfCopy head branch name to clipboard