tree a25cfe87ce9c9ae825f6c3886f5cb26c8f8565fb
parent 569e8cefb6e6c10fac026a063d1196f8fc02479c
author juanpablo <juanpablo@apache.org> 1584107662 +0100
committer juanpablo <juanpablo@apache.org> 1584107662 +0100

JSPWIKI-303: rename BasicPageFilter to BasePageFilter

in order to be able to reuse the latter to ensure backwards compatibility with custom page filters which extend that class