Searched +full:manager -(+path:inc +path:lang) -(+path:lib +path:plugins +path:lang) -(+path:lib +path:tpl +path:dokuwiki +path:lang) (Results 1 – 25 of 47) sorted by last modified time
12
| /dokuwiki/lib/plugins/acl/ |
| H A D | admin.php | 590 if ($conf['manager'] != '!!not set!!') {
595 explode(',', $conf['manager'])
|
| H A D | script.js | 2 * ACL Manager AJAX enhancements
|
| H A D | plugin.info.txt | 5 name ACL Manager
|
| /dokuwiki/lib/plugins/config/ |
| H A D | admin.php | 4 * Configuration Manager admin plugin
91 // POST to script() instead of wl($ID) so config manager still works if
|
| /dokuwiki/inc/ |
| H A D | template.php | 1457 * 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 D | common.php | 171 // set info about manager/admin status.
|
| H A D | auth.php | 525 * Check if a user is a manager
578 $ok = auth_isMember($conf['manager'], $user, $groups);
|
| H A D | deprecated.php | 402 $manager = new SubscriberManager();
403 return $manager->subscribers($page, $user, $style, $data);
424 $manager = new SubscriberManager();
425 return $manager->add($id, $user, $style, $data);
445 $manager = new SubscriberManager();
446 return $manager->remove($id, $user, $style, $data);
465 $manager = new SubscriberManager();
466 return $manager->userSubscription($id, $user);
564 $manager = new SubscriberManager();
565 $manager
[all...] |
| /dokuwiki/lib/exe/ |
| H A D | mediamanager.php | 51 // do not display the manager if user does not have read access
|
| /dokuwiki/lib/tpl/dokuwiki/ |
| H A D | mediamanager.php | 4 * DokuWiki Media Manager Popup
|
| /dokuwiki/inc/Menu/Item/ |
| H A D | MediaManager.php | 8 * Opens the current image in the media manager. Used on image detail view.
21 throw new \RuntimeException("media manager link only with upload permissions");
|
| H A D | Media.php | 8 * Opens the media manager
|
| /dokuwiki/lib/plugins/usermanager/ |
| H A D | style.css | 1 /* User Manager specific styles */
|
| H A D | admin.php | 8 * 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/conf/ |
| H A D | acl.auth.php.dist | 8 # Manager interface instead.
|
| H A D | mediameta.php | 4 * the media manager. Each field of the array is an array with the
|
| H A D | mysql.conf.php.example | 104 /* Additional minimum SQL statements to use the user manager */
132 /* Additional SQL statements to add new users with the user manager */
187 /* Additional SQL statements to delete users with the user manager */
207 /* Additional SQL statements to modify users with the user manager */
|
| H A D | plugins.required.php | 4 * from changes by the extension manager. These settings will override any local settings.
|
| /dokuwiki/lib/plugins/extension/ |
| H A D | admin.php | 13 * Admin part of the extension manager
|
| H A D | cli.php | 12 * Command Line component for the extension manager
|
| /dokuwiki/lib/plugins/extension/helper/ |
| H A D | extension.php | 824 * 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 D | gui.php | 217 * Create an URL inside the extension manager
|
| /dokuwiki/inc/Ui/Media/ |
| H A D | DisplayTile.php | 12 /** @var string URL to open this file in the media manager */
|
| /dokuwiki/inc/Ui/ |
| H A D | MediaDiff.php | 98 // get image width and height for the media manager preview panel
|
| /dokuwiki/vendor/geshi/geshi/src/geshi/ |
| H A D | progress.php | 121 'LAST-EVENT','LOG-MANAGER','RCODE-INFO','SECURITY-POLICY',
|
12