adding searchUsers.js

alex

9 hours ago c1d7cb100a522271a3957ced9813663d64bfccd4

 vue/src/components/Header.vue

@@ -16,6 +16,7 @@
      <div>|</div>
      <RouterLink :to="`${routerBase}/ui/user`">Users</RouterLink>
      <RouterLink :to="`${routerBase}/ui/kurs`">Courses</RouterLink>
      <RouterLink :to="`${routerBase}/ui/kurs/rolle/admin`">Course-Admins</RouterLink>
      <div style="flex-grow: 1" />
      <div>
         <button type="button" title="reindex search index" @click="doReindex">♻</button>