Updated mediawiki/extensions
Project: mediawiki/extensions/ProofreadPage  7a88cb7af2014f4374dda4b62a0d1031b8f7c756

Change jquery.mousewheel.js permissions

bug: 71936
Change-Id: Id740c399ce2ed39de890900878e704291e5a4dfb