| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | Today | - | ||||
| lang/ | H | 14-Dec-2020 | - | 37 | 6 | |
| COPYING | H A D | 13-Dec-2020 | 17.6 KiB | 341 | 281 | |
| README | H A D | 13-Dec-2020 | 304 | 10 | 6 | |
| helper.php | H A D | 13-Dec-2020 | 5 KiB | 155 | 94 | |
| plugin.info.txt | H A D | 13-Dec-2020 | 246 | 8 | 7 | |
| syntax.php | H A D | 13-Dec-2020 | 3.2 KiB | 103 | 65 |
README
1====== Editor Plugin for DokuWiki ====== 2 3All documentation for the Editor Plugin is available online at: 4 5 * http://dokuwiki.org/plugin:editor 6 7(c) 2005 - 2007 by Esther Brunner <wikidesign@gmail.com> 8(c) 2008 - 2009 by Gina Häußge, Michael Klier <dokuwiki@chimeric.de> 9See COPYING for license info. 10