PCMS Timer Enhancer

Timer enhancer for PCMS Web Client

Was ist PCMS Timer Enhancer?

PCMS Timer Enhancer ist eine Chrome-Erweiterung, die von yakovlev.ilya.v entwickelt wurde, und ihr Hauptmerkmal ist "Timer enhancer for PCMS Web Client".

Erweiterungsscreenshots

screenshot

PCMS Timer Enhancer-Erweiterungs-CRX-Datei herunterladen

Laden Sie PCMS Timer Enhancer-Erweiterungsdateien im crx-Format herunter, installieren Sie Chrome-Erweiterungen manuell im Browser oder teilen Sie die crx-Dateien mit Freunden, um Chrome-Erweiterungen einfach zu installieren.

Anleitung zur Verwendung der Erweiterung

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

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

Grundlegende Informationen zur Erweiterung

Name PCMS Timer Enhancer PCMS Timer Enhancer
ID gcaadmdchieokgmojhdaflfeecbmoamj
Offizielle URL https://chromewebstore.google.com/detail/pcms-timer-enhancer/gcaadmdchieokgmojhdaflfeecbmoamj
Beschreibung Timer enhancer for PCMS Web Client
Dateigröße 6.17 KB
Installationsanzahl 48
Aktuelle Version 0.0.5
Letztes Update 2021-12-25
Veröffentlichungsdatum 2018-05-15
Bewertung 5.00/5 Insgesamt 1 Bewertungen
Entwickler yakovlev.ilya.v
E-Mail [email protected]
Zahlungsart free
Unterstützte Sprachen 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
    }
}