adding php

alex

2025-06-14 55361bb41a37b1448c3aa729353c1391ccd28833

 lib/search.js

@@ -89,7 +89,10 @@
      users = JSON.parse(users)
   }
   else {
      // TODO zweite möglichkeit "readFromApi" implementieren
      console.log("~~~ reading users from DB ... ~~~")
      const db = require("./db")
      const {data} = await db.getUsers(0, 100000)
      users = data
   }

   for (const user of users) {