tree 82e199096ad52980c1416c39cc3b1763418c44e8
parent dc06bef45ce4bdc4d3b04b9fa9cd63d5685df627
author juanpablo <juanpablo@apache.org> 1576793382 +0100
committer juanpablo <juanpablo@apache.org> 1576793382 +0100

JSPWIKI-120: PageRenamer renamed as WikiPageRenamer, with new PageRenamer extracted as interface of WikiPageRenamer