GitHub Enterprise User ID to Name Replacement

GitHub Enterprise User ID to Name Replacement

Replaces the User ID text with a user's name in Github Enterprise.

Merlin
Additional files are visible only to premium users

manifest.json


{
  "update_url": "https://clients2.google.com/service/update2/crx",
  "manifest_version": 2,
  "name": "GitHub Enterprise User ID to Name Replacement",
  "description": "Replaces the User ID text with a user's name in Github Enterprise.",
  "version": "1.1",
  "options_ui": {
    "page": "options.html",
    "chrome_style": true
  },
  "icons": {
    "16": "icons/icon16.png",
    "32": "icons/icon32.png",
    "48": "icons/icon48.png",
    "64": "icons/icon64.png",
    "128": "icons/icon128.png"
  },
  "permissions": [
    "storage"
  ],
  "content_scripts": [
    {
      "matches": [
        "*://*/*"
      ],
      "js": [
        "jquery-3.1.0.min.js",
        "underscore-min.js",
        "content.js"
      ],
      "run_at": "document_idle"
    }
  ],
  "web_accessible_resources": [
    "inject.js"
  ]
}