Restore old codeforces languages

Restore codeforces old languages status filter

Від 28.01.2024. Дивіться остання версія.

You will need to install an extension such as Tampermonkey, Greasemonkey or Violentmonkey to install this script.

You will need to install an extension such as Tampermonkey or Violentmonkey to install this script.

You will need to install an extension such as Tampermonkey or Violentmonkey to install this script.

You will need to install an extension such as Tampermonkey or Userscripts to install this script.

You will need to install an extension such as Tampermonkey to install this script.

You will need to install a user script manager extension to install this script.

(У мене вже є менеджер скриптів, дайте мені встановити його!)

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

(I already have a user style manager, let me install it!)

// ==UserScript==
// @name         Restore old codeforces languages
// @version      20240128.09.52
// @namespace    http://tampermonkey.net/
// @description  Restore codeforces old languages status filter
// @author       nullchilly
// @license      MIT
// @match        *://*.codeforces.com/*
// ==/UserScript==

(function() {
    let filter = document.querySelector("#programTypeForInvoker");
    [
        ["c.gcc", "GNU C"],
        ["cpp.g++", "GNU C++"],
        ["cpp.g++0x", "GNU C++0x"],
        ["cpp.g++11", "GNU C++11"],
        ["cpp.g++14", "GNU C++14"],
        ["java11", "Java 11"],
        ["java17", "Java 17"],
        ["kotlin15", "Kotlin 1.5"],
        ["kotlin16", "Kotlin 1.6"]
    ].forEach(function(optionData) {
        let option = document.createElement("option");
        option.value = optionData[0];
        option.textContent = optionData[1];
        filter.appendChild(option);
    });
})();