Mantis 增强

Mantis Bug Tracker Enhancement

O que é Mantis 增强?

Mantis 增强 é uma extensão do Chrome desenvolvida por Whikiey, e sua principal característica é "Mantis Bug Tracker Enhancement".

Capturas de Tela da Extensão

screenshot

Baixar o arquivo CRX da Extensão Mantis 增强

Baixe arquivos de extensão Mantis 增强 no formato crx, instale manualmente as extensões do Chrome no navegador ou compartilhe os arquivos crx com amigos para instalar facilmente as extensões do Chrome.

Instruções de Uso da Extensão

                        快速填写MantisBT中的日期
批量修改时允许添加注释
检查未关闭的超时未处理的问题                    

Informações Básicas da Extensão

Nome Mantis 增强 Mantis 增强
ID egibkaijfccgdjlnfaoldmogjokbjkbf
URL Oficial https://chrome.google.com/webstore/detail/mantis-%E5%A2%9E%E5%BC%BA/egibkaijfccgdjlnfaoldmogjokbjkbf
Descrição Mantis Bug Tracker Enhancement
Tamanho do Arquivo 195 KB
Contagem de Instalações 30
Versão Atual 0.6.8
Última Atualização 2017-04-09
Data de Publicação 2017-04-09
Classificação 4.67/5 Total de 3 Avaliações
Desenvolvedor Whikiey
Tipo de Pagamento free
Idiomas Suportados zh-CN
manifest.json
{
    "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx",
    "name": "Mantis \u589e\u5f3a",
    "version": "0.6.8",
    "manifest_version": 2,
    "description": "Mantis Bug Tracker Enhancement",
    "icons": {
        "16": "res\/mantis16.ico"
    },
    "content_scripts": [
        {
            "matches": [
                "*:\/\/*\/*"
            ],
            "js": [
                "js\/content.js"
            ],
            "css": []
        }
    ],
    "permissions": [
        "tabs",
        "activeTab",
        "notifications",
        "storage",
        "background",
        "webNavigation",
        "*:\/\/*\/*"
    ],
    "web_accessible_resources": [
        "images\/*.png",
        "images\/*.gif"
    ],
    "page_action": {
        "default_icon": {
            "19": "res\/icon19.png",
            "38": "res\/icon38.png"
        },
        "default_title": "Mantis Bug Tracker Enhancement",
        "default_popup": "popup.html"
    },
    "background": {
        "page": "background.html"
    }
}