1 files changed, 60 insertions, 0 deletions
diff --git a/platform/www/lib/plugins/bureaucracy/action.php b/platform/www/lib/plugins/bureaucracy/action.php
new file mode 100644
index 0000000..a4a7a4e
--- /dev/null
+++ b/platform/www/lib/plugins/bureaucracy/action.php
@@ -0,0 +1,60 @@
+<?php
+/**
+ * Bureaucracy Plugin: Allows flexible creation of forms
+ *
+ * This plugin allows definition of forms in wiki pages. The forms can be
+ * submitted via email or used to create new pages from templates.
+ *
+ * @license    GPL 2 (http://www.gnu.org/licenses/gpl.html)
+ * @author     Andreas Gohr <andi@splitbrain.org>
+ * @author     Adrian Lang <dokuwiki@cosmocode.de>
+ */
+// must be run within Dokuwiki
+if (!defined('DOKU_INC')) die();
+
+/**
+ * Class action_plugin_bureaucracy
+ */
+class action_plugin_bureaucracy extends DokuWiki_Action_Plugin {
+
+    /**
+     * Registers a callback function for a given event
+     */
+    public function register(Doku_Event_Handler $controller) {
+        $controller->register_hook('AJAX_CALL_UNKNOWN', 'BEFORE', $this, 'ajax');
+    }
+
+    /**
+     * @param Doku_Event$event
+     * @param $param
+     */
+    public function ajax(Doku_Event $event, $param) {
+        if ($event->data !== 'bureaucracy_user_field') {
+            return;
+        }
+        $event->stopPropagation();
+        $event->preventDefault();
+
+        $search = $_REQUEST['search'];
+
+        /** @var DokuWiki_Auth_Plugin $auth */
+        global $auth;
+        $users = array();
+        foreach($auth->retrieveUsers() as $username => $data) {
+            if ($search === '' || // No search
+                stripos($username, $search) === 0 || // Username (prefix)
+                stripos($data['name'], $search) !== false) { // Full name
+                $users[$username] = $data['name'];
+            }
+            if (count($users) === 10) {
+                break;
+            }
+        }
+
+        if (count($users) === 1 && key($users) === $search) {
+            $users = array();
+        }
+
+        echo json_encode($users);
+    }
+}