Wat is DokuWiki Toolbox?

DokuWiki Toolbox is een Chrome-extensie ontwikkeld door https://www.dokuwiki.org, en de belangrijkste functie is "Load the DokuWiki Toolbox plugin on any DokuWiki installation on the web".

Extensie Screenshots

Download het CRX-bestand van de extensie DokuWiki Toolbox

Download DokuWiki Toolbox-extensiebestanden in crx-indeling, installeer Chrome-extensies handmatig in de browser of deel de crx-bestanden met vrienden om Chrome-extensies eenvoudig te installeren.

Instructies voor het Gebruik van de Extensie

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

Basisinformatie over de Extensie

Naam	DokuWiki Toolbox
ID	ipfidnedfockcnklpkmbcinjfpfgbbin
Officiële URL	https://chromewebstore.google.com/detail/dokuwiki-toolbox/ipfidnedfockcnklpkmbcinjfpfgbbin
Beschrijving	Load the DokuWiki Toolbox plugin on any DokuWiki installation on the web
Bestandsgrootte	26.38 KB
Aantal Installaties	174
Huidige Versie	2017.3.18
Laatst Bijgewerkt	2017-03-18
Publicatiedatum	2017-03-18
Ontwikkelaar	https://www.dokuwiki.org
Betalingswijze	free
Extensiewebsite	https://www.dokuwiki.org/plugin:toolbox
Ondersteunde Talen	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" } }