randomOJ

make NFLSOJ random
اعتبارا من 29-02-2024. شاهد أحدث إصدار.
Ask a question, post a review, or report the script.
Wrap lines
// ==UserScript==
// @name         randomOJ
// @version      0.0.4
// @description  make NFLSOJ random
// @match        *://www.nfls.com.cn:20035/*
// @match        *://www.nfls.com.cn:10611/*
// @match        *://192.168.188.77/*
// @match        *://192.168.188.88/*
// @namespace https://greasyfork.org/users/1243131
// ==/UserScript==

let header = document.querySelector("a.header");
let span = document.createElement("div");
let OJs = [
    `<div class="item" data-value="File Error"><span class="status file_error"><i class="file outline icon"></i> <b>File Error</b></span></div>`,
    `<div class="item" data - value="Waiting" > <span class="status waiting"><i class="hourglass half icon"></i> <b>Waiting</b></span></div >`,
    `<div class="item" data-value="System Error"><span class="status system_error"><i class="server icon"></i> <b>System Error</b></span>`,
    `<div class="item" data-value="No Testdata"><span class="status no_testdata"><i class="folder open outline icon"></i> <b>No Testdata</b></span>`,
    `<div class="item" data-value="Judgement Failed"><span class="status judgement_failed"><i class="server icon"></i> <b>Judgement Failed</b></span>`,
    `<div class="item" data-value="Unknown"><span class="status unknown"><i class="question circle icon"></i> <b>Unknown</b></span></div>`
];
header.innerText = "OJ";
span.innerHTML = OJs[new Date().getTime()%OJs.length];
header.insertBefore(span,header.childNodes[0]);