PCMS Timer Enhancer

Timer enhancer for PCMS Web Client

Cos'è PCMS Timer Enhancer?

PCMS Timer Enhancer è un'estensione di Chrome sviluppata da yakovlev.ilya.v, e la sua funzione principale è "Timer enhancer for PCMS Web Client".

Screenshot dell'Estensione

screenshot

Scarica il file CRX dell'estensione PCMS Timer Enhancer

Scarica i file di estensione PCMS Timer Enhancer in formato crx, installa manualmente le estensioni di Chrome nel browser o condividi i file crx con gli amici per installare facilmente le estensioni di Chrome.

Istruzioni per l'Uso dell'Estensione

                        Это расширение разработано специально для PCMS Web Client. Оно позволяет узнать оставшееся время контеста/лабораторной, не прибегая к сложнейшим вычислениям в уме/на калькуляторе.

Использование:
Нужно просто установить расширение. Чтобы приостановить работу, достаточно нажать на значок расширения в верхней панели браузера.                    

Informazioni di Base sull'Estensione

Nome PCMS Timer Enhancer PCMS Timer Enhancer
ID gcaadmdchieokgmojhdaflfeecbmoamj
URL Ufficiale https://chromewebstore.google.com/detail/pcms-timer-enhancer/gcaadmdchieokgmojhdaflfeecbmoamj
Descrizione Timer enhancer for PCMS Web Client
Dimensione del File 6.17 KB
Conteggio Installazioni 48
Versione Corrente 0.0.5
Ultimo Aggiornamento 2021-12-25
Data di Pubblicazione 2018-05-15
Valutazione 5.00/5 Totale 1 Valutazioni
Sviluppatore yakovlev.ilya.v
Email [email protected]
Tipo di Pagamento free
Lingue Supportate ru
manifest.json
{
    "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx",
    "name": "PCMS Timer Enhancer",
    "version": "0.0.5",
    "description": "Timer enhancer for PCMS Web Client",
    "manifest_version": 2,
    "permissions": [
        "tabs",
        "*:\/\/*.neerc.ifmo.ru\/pcms2client\/*",
        "storage"
    ],
    "content_scripts": [
        {
            "matches": [
                "*:\/\/*.neerc.ifmo.ru\/pcms2client\/*"
            ],
            "js": [
                "scripts\/script.js"
            ]
        }
    ],
    "browser_action": {
        "default_icon": "favicon_off.png",
        "name": "Click to change the icon's color"
    },
    "background": {
        "scripts": [
            "scripts\/background.js"
        ],
        "persistent": false
    }
}