Restore codeforces old languages

Restore codeforces old languages status filter

ของเมื่อวันที่ 28-01-2024 ดู เวอร์ชันล่าสุด

คุณจะต้องติดตั้งส่วนขยาย เช่น Tampermonkey, Greasemonkey หรือ Violentmonkey เพื่อติดตั้งสคริปต์นี้

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

คุณจะต้องติดตั้งส่วนขยาย เช่น Tampermonkey หรือ Violentmonkey เพื่อติดตั้งสคริปต์นี้

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.

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

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