www/mediawiki135: Update to 1.35.7
(cherry picked from commit 40a16b38ac8f0d37f3e194d01731ac1cefa974b9)