www/mediawiki142: Update to 1.42.7
(cherry picked from commit 2624e677435c5ce24d3b7d81478c6184d7b9d138)