This plugin is used to mark portions of text as inserted, deleted or highlighted
Compatible with DokuWiki
Frusterick Manners, Greebo
This extension has not been updated in over 2 years. It may no longer be maintained or supported and may have compatibility issues.
Similar to highlight
This plugin is used to mark portions of text as inserted, deleted or highlighted. It replaces the older Inserted and Hilited plugins.
Unlike the older plugins and unlike the markup for deleted built in to DokuWiki, you may specify a title which will appear as a tooltip in the browser.
++[title]>[text]++ <ins [title]>[text]</ins>
[title] | title to appear as tooltip; could be the name of the user who proposed the change and current date or a short comment | optional; default is none |
---|---|---|
[text] | text to mark as inserted; other formatting markup may be used inside | required |
--[title]>[text]-- <del [title]>[text]</del>
[title] | title to appear as tooltip; could be the name of the user who proposed the change and current date or a short comment | optional; default is none |
---|---|---|
[text] | text to mark as deleted; other formatting markup may be used inside | required |
!![title]>[text]!!
[title] | title to appear as tooltip; could be the name of the user who proposed the change and current date or a short comment | optional; default is none |
---|---|---|
[text] | text to mark as highlighted; other formatting markup may be used inside | required |