GitHub Mention Highlighter
Highlight user and team mentions on GitHub
What is GitHub Mention Highlighter?
GitHub Mention Highlighter is a Chrome extension developed by Unknown, and its main feature is "Highlight user and team mentions on GitHub".
Extension Screenshots
Download GitHub Mention Highlighter Extension CRX File
Download GitHub Mention Highlighter extension files in crx format, manually install Chrome extensions in the browser, or share the crx files with friends to easily install Chrome extensions.
Extension Usage Instructions
Es un resaltador de Gibhub que ayuda al fosyga en colombia a mejorar el rendimiento de consultas a nivel nacional. Extension Basic Information
| Name | |
| ID | njefdbinhmfaebgbjihikefamibchpkk |
| Official URL | https://chromewebstore.google.com/detail/github-mention-highlighte/njefdbinhmfaebgbjihikefamibchpkk |
| Description | Highlight user and team mentions on GitHub |
| File Size | 207 KB |
| Installation Count | 32 |
| Current Version | 0.2.0 |
| Last Updated | 2019-04-24 |
| Publish Date | 2019-04-24 |
| Developer | Unknown |
| Payment Type | free |
| Extension Website | https://tramitescol.com/consultar-fosyga/ |
| Supported Languages | es-419 |
| manifest.json | |
{
"update_url": "https:\/\/clients2.google.com\/service\/update2\/crx",
"name": "GitHub Mention Highlighter",
"version": "0.2.0",
"description": "Highlight user and team mentions on GitHub",
"permissions": [
"https:\/\/github.com\/*",
"https:\/\/*.githubapp.com\/*",
"https:\/\/mail.google.com\/*",
"storage"
],
"content_scripts": [
{
"matches": [
"https:\/\/github.com\/*",
"https:\/\/*.githubapp.com\/*",
"https:\/\/mail.google.com\/*"
],
"js": [
"vendor\/jquery\/dist\/jquery.js",
"dist\/script.js"
],
"css": [
"dist\/style.css"
]
}
],
"icons": {
"16": "img\/icon-16.png",
"48": "img\/icon-48.png",
"128": "img\/icon-128.png"
},
"manifest_version": 2,
"options_page": "dist\/options.html",
"options_ui": {
"page": "dist\/options.html",
"chrome_style": true
}
} | |
