GitHub Mention Highlighter
Highlight user and team mentions on GitHub
¿Qué es GitHub Mention Highlighter?
GitHub Mention Highlighter es una extensión de Chrome desarrollada por Unknown, y su función principal es "Highlight user and team mentions on GitHub".
Capturas de Pantalla de la Extensión
Descargar Archivo CRX de la Extensión GitHub Mention Highlighter
Descarga archivos de extensión GitHub Mention Highlighter en formato crx, instala manualmente las extensiones de Chrome en el navegador o comparte los archivos crx con amigos para instalar fácilmente las extensiones de Chrome.
Instrucciones de Uso de la Extensión
Es un resaltador de Gibhub que ayuda al fosyga en colombia a mejorar el rendimiento de consultas a nivel nacional. Información Básica de la Extensión
| Nombre | |
| ID | njefdbinhmfaebgbjihikefamibchpkk |
| URL Oficial | https://chromewebstore.google.com/detail/github-mention-highlighte/njefdbinhmfaebgbjihikefamibchpkk |
| Descripción | Highlight user and team mentions on GitHub |
| Tamaño del Archivo | 207 KB |
| Cantidad de Instalaciones | 32 |
| Versión Actual | 0.2.0 |
| Última Actualización | 2019-04-24 |
| Fecha de Publicación | 2019-04-24 |
| Desarrollador | Unknown |
| Tipo de Pago | free |
| Sitio Web de la Extensión | https://tramitescol.com/consultar-fosyga/ |
| Idiomas Soportados | 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
}
} | |
