Home
last modified time | relevance | path

Searched +full:manager -(+path:inc +path:lang) -(+path:lib +path:plugins +path:lang) -(+path:lib +path:tpl +path:dokuwiki +path:lang) (Results 26 – 47 of 47) sorted by relevance

12

/dokuwiki/lib/tpl/dokuwiki/css/
H A D_media_popup.css2 * This file provides styles for the media manager popup
H A Dmobile.less104 /* enable horizontal scrolling in media manager */
H A D_media_fullscreen.css2 * This file provides the styles for the fullscreen media manager
/dokuwiki/lib/plugins/extension/helper/
H A Dextension.php824 * Save the given URL and current datetime in the manager.dat file of all installed extensions
856 * Read the manager.dat file
860 $managerpath = $this->getInstallDir() . '/manager.dat';
868 // backwards compatible with old plugin manager
877 * Write the manager.data file
881 $managerpath = $this->getInstallDir() . '/manager.dat';
925 $http->agent = 'DokuWiki HTTP Client (Extension Manager)';
H A Dgui.php217 * Create an URL inside the extension manager
/dokuwiki/lib/exe/
H A Dmediamanager.php51 // do not display the manager if user does not have read access
/dokuwiki/lib/plugins/extension/
H A Dadmin.php13 * Admin part of the extension manager
H A Dcli.php12 * Command Line component for the extension manager
/dokuwiki/conf/
H A Ddokuwiki.php61 $conf['manager'] = '!!not set!!'; //The manager can be user or @group or comma separated list user1,@group1,user2
/dokuwiki/inc/Extension/
H A DAuthPlugin.php439 * To accommodate for this, the user manager plugin will touch a reference
444 * the backend's database through other means than the user manager plugin.
H A DPluginController.php262 " * Auto-generated through plugin/extension manager\n *\n" .
/dokuwiki/lib/plugins/authad/adLDAP/
H A DadLDAP.php827 if ($attributes["manager"]){ $mod["manager"][0]=$attributes["manager"]; } //UNTESTED ***Use DistinguishedName***
/dokuwiki/inc/Ui/
H A DMediaDiff.php98 // get image width and height for the media manager preview panel
/dokuwiki/lib/plugins/usermanager/
H A Dadmin.php8 * User Manager
12 * This version of the user manager has been modified to only work with
352 * User Manager is only available if the auth backend supports it
/dokuwiki/lib/scripts/
H A Dmedia.js330 //fullscreen media manager
917 * Default implementation for the media manager's select action
/dokuwiki/lib/plugins/acl/
H A Dadmin.php590 if ($conf['manager'] != '!!not set!!') {
595 explode(',', $conf['manager'])
/dokuwiki/inc/
H A Dtemplate.php1457 * Prints the central column in full-screen media manager
1502 * Prints the third column in full-screen media manager
1844 * Prints full-screen media manager
H A Dauth.php525 * Check if a user is a manager
578 $ok = auth_isMember($conf['manager'], $user, $groups);
H A Dmedia.php888 * Returns type of sorting for the list of files in media manager
900 * Returns type of listing for the list of files in media manager
H A Dcommon.php171 // set info about manager/admin status.
/dokuwiki/vendor/geshi/geshi/src/geshi/
H A Dcobol.php212 'LARGE-FONT', 'LAST', 'LAST-ROW', 'LAYOUT-DATA', 'LAYOUT-MANAGER',
H A Dprogress.php121 'LAST-EVENT','LOG-MANAGER','RCODE-INFO','SECURITY-POLICY',

12