DokuWiki Toolbox

Load the DokuWiki Toolbox plugin on any DokuWiki installation on the web

什么是DokuWiki Toolbox?

DokuWiki Toolbox是由https://www.dokuwiki.org开发的Chrome扩展程序,该扩展的主要功能是“Load the DokuWiki Toolbox plugin on any DokuWiki installation on the web”。

扩展截图

screenshot

下载DokuWiki Toolbox扩展crx文件

下载DokuWiki Toolbox扩展crx格式的文件,手动将Chrome插件安装到浏览器中,也可以将crx文件分享给朋友,轻松安装Chrome插件。

扩展使用说明

                        This plugin allows you to use the DokuWiki Toolbox plugin on DokuWiki installations where the plugin was not installed by the site's administrator. This allows power users to use it's functionality even when the administrator does not want it to be available to all users.

The Toolbox plugin provides the following features:

* indent and unindent selected text
* sort selected text
* count words and characters
* use find and replace in the DokuWiki editor                    

扩展基本信息

名称 DokuWiki Toolbox DokuWiki Toolbox
ID ipfidnedfockcnklpkmbcinjfpfgbbin
官方URL https://chromewebstore.google.com/detail/dokuwiki-toolbox/ipfidnedfockcnklpkmbcinjfpfgbbin
简介 Load the DokuWiki Toolbox plugin on any DokuWiki installation on the web
文件大小 26.38 KB
安装次数 174
当前版本 2017.3.18
更新时间 2017-03-18
上架时间 2017-03-18
开发者 https://www.dokuwiki.org
付费类型 free
扩展官网 https://www.dokuwiki.org/plugin:toolbox
支持的语言 en
manifest.json
{
    "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx",
    "manifest_version": 2,
    "name": "DokuWiki Toolbox",
    "short_name": "DW Toolbox",
    "version": "2017.3.18",
    "description": "Load the DokuWiki Toolbox plugin on any DokuWiki installation on the web",
    "author": "Andreas Gohr",
    "homepage_url": "https:\/\/www.dokuwiki.org\/plugin:toolbox",
    "content_scripts": [
        {
            "matches": [
                "https:\/\/*\/*?do=edit",
                "http:\/\/*\/*?do=edit"
            ],
            "js": [
                "content.js"
            ]
        }
    ],
    "web_accessible_resources": [
        "script.js"
    ],
    "icons": {
        "16": "icon-16.png",
        "48": "icon-48.png",
        "128": "icon-128.png"
    }
}