Hallo Linuchs,
ich wüsste nicht, dass es ein HTML Äquivalent zu __FILE__
oder __LINE__
in HTML gibt.
Auf Anhieb würde mir nur ein Trick einfallen: Lass die HTML Dokumente über ein PHP Script ausliefern, das die HTML Datei zeilenweise in den Response-Stream kopiert und dabei brav die Zeilennummer hochzählt. Immer, wenn es /<h[123456]\s.*?>/
findet (Regex aus der Hüfte geschossen, sucht nach <h, dann 1-6, dann Whitespace, dann non-greedy beliebige Zeichen bis es > findet, musst Du ggf feintunen), fügt es der Überschrift ein title-Attribut mit der aktuellen Zeilennummer hinzu. Wenn Du willst, kannst Du das mit /<p\s.*?>/
auch machen um das Gleiche für Absätze zu haben.
Effekt: Du hast einen Hover-Effekt auf jeder Überschrift mit der Zeilennummer drin und musst dein Dokument nicht ändern.
Da das Script rein intern für Dich ist, hast Du wenig Stress mit Abwehr bösartiger Requests. Sollte in maximal 20 Zeilen lösbar sein.
Rolf
sumpsi - posui - obstruxi