Github Annotator

Show user details and repository info in a tooltip.

Apa itu Github Annotator?

Github Annotator adalah ekstensi Chrome yang dikembangkan oleh Mesut Tasci, dan fitur utamanya adalah "Show user details and repository info in a tooltip.".

Screenshot Ekstensi

screenshot
screenshot

Unduh Berkas CRX Ekstensi Github Annotator

Unduh file ekstensi Github Annotator dalam format crx, pasang ekstensi Chrome secara manual di peramban, atau bagikan file crx dengan teman untuk menginstal ekstensi Chrome dengan mudah.

Petunjuk Penggunaan Ekstensi

                        Show user,repo and gist informations in a tooltip at news feed. With this extension, you don't have to visit the user's or repos' own pages.

Extension source code:
https://github.com/mesuutt/github-annotator                    

Informasi Dasar Ekstensi

Nama Github Annotator Github Annotator
ID epmbkocbfiejffcjahjhncadlipmdime
URL Resmi https://chromewebstore.google.com/detail/github-annotator/epmbkocbfiejffcjahjhncadlipmdime
Deskripsi Show user details and repository info in a tooltip.
Ukuran File 81.68 KB
Jumlah Instalasi 214
Versi Saat Ini 2.1
Terakhir Diperbarui 2017-10-22
Tanggal Publikasi 2017-10-22
Penilaian 4.50/5 Total 2 Penilaian
Pengembang Mesut Tasci
Email [email protected]
Tipe Pembayaran free
Situs Ekstensi http://github.com/mesuutt/github-annotator
URL Halaman Bantuan https://github.com/mesuutt/github-annotator/issues
Bahasa yang Didukung en
manifest.json
{
    "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx",
    "name": "Github Annotator",
    "description": "Show user details and repository info in a tooltip.",
    "manifest_version": 2,
    "version": "2.1",
    "permissions": [
        "storage"
    ],
    "content_scripts": [
        {
            "js": [
                "jquery-1.9.1.min.js",
                "contentscript.js"
            ],
            "css": [
                "style.css"
            ],
            "matches": [
                "https:\/\/github.com\/"
            ]
        }
    ],
    "background": {
        "scripts": [
            "background.js"
        ]
    },
    "options_page": "options.html",
    "icons": {
        "128": "icons\/icon128.png",
        "48": "icons\/icon48.png",
        "16": "icons\/icon16.png"
    }
}