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"
    }
}