Restore codeforces old 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 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 codeforces old languages
// @version      20240122.09.51
// @namespace    http://tampermonkey.net/
// @description  Restore codeforces old languages status filter
// @author       nullchilly
// @license      MIT
// @match        *://*.codeforces.com/*
// ==/UserScript==

(function() {
    var 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) {
        var option = document.createElement("option");
        option.value = optionData[0];
        option.textContent = optionData[1];
        filter.appendChild(option);
    });
})();