adding route /api/ping

alex

6 hours ago edcf6061e5efbe1b60bc1d17ff4bbe83ae866a09

 vue/src/pages/UserDetail.vue

@@ -8,6 +8,7 @@

const route = useRoute()
const userId = route.params.userId
document.title = `User ${userId} | globus-ilias-rest`
const error = ref(null)

const user = ref(null)
@@ -79,7 +80,7 @@

      </div>

      <h2>Teilnahmen</h2>
      <h2>Teilnahmen <small>({{teilnahmen?.length}})</small></h2>
      <table>
         <thead>
            <tr>