PHP: alle id in einer Datei finden

[der henry]

Hallo,

bei mir dauert es immer etwas länger, ich war wieder unterwegs.

Vielen Dank erst einmal.

const alleIds = document
        .querySelectorAll("[id]")
        .map(elem => elem.id);

Ich habe mir die Lösung von Rolf angesehen und sehe ein, das eine php-Lösung, trotz des Tipps von Robert ungünstig ist. Der js "Einzeiler" erledigt alles was ich brauche. Weiterhin kann ich js besser debuggen als php.

Das ist mittlerweile kürzer möglich:

<meta charset="utf-8">

Und das auch:

<script language="JavaScript" type="text/javascript">

const myid = "<?php echo searchids(); ?>";

<script> const myid = …; </script>

@Robert: Ich habe viel "alten" Code (teilweise 10-15J), mit dem ich häufig starte, daher bleibt leider das eine oder andere snippets übrig.

Ich nehme es aber gerne an, und korrigiere es.

Nochmals vielen Dank