Updated mediawiki/extensions
Project: mediawiki/extensions/ZeroBanner  9ef806728663c7d6682c8e5ef22671a49a76f0ba

Prepare repository for running RuboCop after every push to Gerrit

For now ignoring all problems.

Bug: 69245
Change-Id: I8f5694254cee9bc99daaadbbf0ca7d143cc58638