DokuWiki Toolbox
Load the DokuWiki Toolbox plugin on any DokuWiki installation on the web
Apa itu DokuWiki Toolbox?
DokuWiki Toolbox adalah ekstensi Chrome yang dikembangkan oleh https://www.dokuwiki.org, dan fitur utamanya adalah "Load the DokuWiki Toolbox plugin on any DokuWiki installation on the web".
Screenshot Ekstensi
Unduh Berkas CRX Ekstensi DokuWiki Toolbox
Unduh file ekstensi DokuWiki Toolbox dalam format crx, pasang ekstensi Chrome secara manual di peramban, atau bagikan file crx dengan teman untuk menginstal ekstensi Chrome dengan mudah.
Petunjuk Penggunaan Ekstensi
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
Informasi Dasar Ekstensi
Nama | DokuWiki Toolbox |
ID | ipfidnedfockcnklpkmbcinjfpfgbbin |
URL Resmi | https://chromewebstore.google.com/detail/dokuwiki-toolbox/ipfidnedfockcnklpkmbcinjfpfgbbin |
Deskripsi | Load the DokuWiki Toolbox plugin on any DokuWiki installation on the web |
Ukuran File | 26.38 KB |
Jumlah Instalasi | 174 |
Versi Saat Ini | 2017.3.18 |
Terakhir Diperbarui | 2017-03-18 |
Tanggal Publikasi | 2017-03-18 |
Pengembang | https://www.dokuwiki.org |
Tipe Pembayaran | free |
Situs Ekstensi | https://www.dokuwiki.org/plugin:toolbox |
Bahasa yang Didukung | 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" } } |