PCMS Timer Enhancer

Timer enhancer for PCMS Web Client

Wat is PCMS Timer Enhancer?

PCMS Timer Enhancer is een Chrome-extensie ontwikkeld door yakovlev.ilya.v, en de belangrijkste functie is "Timer enhancer for PCMS Web Client".

Extensie Screenshots

screenshot

Download het CRX-bestand van de extensie PCMS Timer Enhancer

Download PCMS Timer Enhancer-extensiebestanden in crx-indeling, installeer Chrome-extensies handmatig in de browser of deel de crx-bestanden met vrienden om Chrome-extensies eenvoudig te installeren.

Instructies voor het Gebruik van de Extensie

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

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

Basisinformatie over de Extensie

Naam PCMS Timer Enhancer PCMS Timer Enhancer
ID gcaadmdchieokgmojhdaflfeecbmoamj
Officiële URL https://chromewebstore.google.com/detail/pcms-timer-enhancer/gcaadmdchieokgmojhdaflfeecbmoamj
Beschrijving Timer enhancer for PCMS Web Client
Bestandsgrootte 6.17 KB
Aantal Installaties 48
Huidige Versie 0.0.5
Laatst Bijgewerkt 2021-12-25
Publicatiedatum 2018-05-15
Beoordeling 5.00/5 Totaal 1 Beoordelingen
Ontwikkelaar yakovlev.ilya.v
E-mail [email protected]
Betalingswijze free
Ondersteunde Talen 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
    }
}