1<?php 2/** 3 * $Id: settings.php 18 2017-06-19 15:22:35Z denis $ 4 * @author DenisVS <deniswebcomm@gmail.com> 5 * source plugin, configuration metadata 6 * @link https://www.dokuwiki.org/plugin:src 7 * @based on Source Plugin by Chris Smith <chris@jalakai.co.uk> 8 */ 9$lang['location'] = 'Path or URL to preprend to source files'; 10$lang['allow'] = 'Allow only source files with these extensions (use pipe \'|\' to separate)'; 11$lang['deny'] = 'Deny source files with these extensions (use pipe \'|\' to separate)'; 12$lang['rules'] = 'Pattern matching Allow/Deny rules, refer documentation'; 13