The above is no longer necessary. It was added by https://github.com/phpbb-extensions/boardrules/pull/23

This PR should be rebased against the branch.