Change Wikipedia skin to the previous one

Change Japanese Wikipedia skin to vector
换行
// ==UserScript==
// @name           Change Wikipedia skin to the previous one
// @name:ja        Wikipediaのスキンを以前のものに変更する
// @namespace      https://greasyfork.org/users/783910
// @version        1.1.3
// @description    Change Japanese Wikipedia skin to vector
// @description:ja Wikipediaのスキンをvectorに変更する
// @author         ysnr777
// @match          *://*.wikipedia.org/*
// @icon           https://www.google.com/s2/favicons?domain=wikipedia.org
// @grant          none
// @license        WTFPL
// @run-at         document-start
// ==/UserScript==

const url = new URL(location.href);
if (!url.searchParams.has('useskin')) {
  url.searchParams.set('useskin', 'vector');
  location.replace(url);
}

/**
 * ページ内リンクのurlにパラメータ付与 ※ver1.1.0で削除
 */
// document.addEventListener('DOMContentLoaded', () => {
//   for (const el of document.getElementsByTagName('a')) {
//     if (0 < el.href.length) {
//       const href = new URL(el.href);
//       if (href.origin == url.origin && !href.searchParams.has('useskin')) {
//         href.searchParams.set('useskin', 'vector');
//         el.href = href.href;
//       }
//     }
//   }
// });