GitHub Mention Highlighter
Highlight user and team mentions on GitHub
Qu'est-ce que GitHub Mention Highlighter ?
GitHub Mention Highlighter est une extension Chrome développée par Unknown, et sa fonction principale est "Highlight user and team mentions on GitHub".
Captures d'Écran de l'Extension
Télécharger le fichier CRX de l'extension GitHub Mention Highlighter
Téléchargez les fichiers d'extension GitHub Mention Highlighter 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
Es un resaltador de Gibhub que ayuda al fosyga en colombia a mejorar el rendimiento de consultas a nivel nacional. Informations de Base sur l'Extension
| Nom | |
| ID | njefdbinhmfaebgbjihikefamibchpkk |
| URL Officiel | https://chromewebstore.google.com/detail/github-mention-highlighte/njefdbinhmfaebgbjihikefamibchpkk |
| Description | Highlight user and team mentions on GitHub |
| Taille du Fichier | 207 KB |
| Nombre d'Installations | 32 |
| Version Actuelle | 0.2.0 |
| Dernière Mise à Jour | 2019-04-24 |
| Date de Publication | 2019-04-24 |
| Développeur | Unknown |
| Type de Paiement | free |
| Site Web de l'Extension | https://tramitescol.com/consultar-fosyga/ |
| Langues Prises en Charge | 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
}
} | |
