RFC Reader

Simply making RFC and manual pages easier to read.

Qu'est-ce que RFC Reader ?

RFC Reader est une extension Chrome développée par Joey L., et sa fonction principale est "Simply making RFC and manual pages easier to read.".

Captures d'Écran de l'Extension

screenshot

Télécharger le fichier CRX de l'extension RFC Reader

Téléchargez les fichiers d'extension RFC Reader au format crx, installez manuellement les extensions Chrome dans le navigateur ou partagez les fichiers crx avec des amis pour installer facilement les extensions Chrome.

Instructions d'Utilisation de l'Extension

                        Beautifies Internet Engineering Task Force (IETF) Request For Comments (RFCs) by applying a little TLC to the CSS.

Install this extension to automatically enhance IETF RFC pages.                    

Informations de Base sur l'Extension

Nom RFC Reader RFC Reader
ID amfbaiboeiifomfaepaedhkjcobnneik
URL Officiel https://chromewebstore.google.com/detail/rfc-reader/amfbaiboeiifomfaepaedhkjcobnneik
Description Simply making RFC and manual pages easier to read.
Taille du Fichier 92.31 KB
Nombre d'Installations 32
Version Actuelle 1.0
Dernière Mise à Jour 2019-06-09
Date de Publication 2019-06-08
Évaluation 5.00/5 Total 1 Évaluations
Développeur Joey L.
Type de Paiement free
Langues Prises en Charge en-US
manifest.json
{
    "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx",
    "name": "RFC Reader",
    "version": "1.0",
    "description": "Simply making RFC and manual pages easier to read.",
    "manifest_version": 2,
    "permissions": [
        "activeTab"
    ],
    "content_scripts": [
        {
            "matches": [
                "https:\/\/tools.ietf.org\/html\/*"
            ],
            "css": [
                "style_ietf.css"
            ]
        },
        {
            "matches": [
                "*:\/\/man7.org\/linux\/man-pages\/man*\/*.html"
            ],
            "css": [
                "style_man.css"
            ]
        }
    ],
    "icons": {
        "16": "icon_16.png",
        "32": "icon_16.png",
        "48": "icon_16.png",
        "128": "icon_16.png"
    }
}