Mediawiki を 1.25.1 に更新しました。