Restore codeforces old languages

Restore codeforces old languages status filter

Version vom 28.01.2024. Aktuellste Version

Du musst eine Erweiterung wie Tampermonkey, Greasemonkey oder Violentmonkey installieren, um dieses Skript zu installieren.

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.

Sie müssten eine Skript Manager Erweiterung installieren damit sie dieses Skript installieren können

(Ich habe schon ein Skript Manager, Lass mich es installieren!)

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);
    });
})();