Firefox LiveHTTPHeaders Update auf 0.12 verfügbar

[dedlfix]

echo $begrüßung;

wie ich gerade festgestellt habe, gibt es von der LiveHTTPHeaders Extension (endlich) ein Update, womit die Headers jetzt auch in der Page Info angezeigt werden (und nicht mehr nur, wenn man das Fenster der Extension zum Aufzeichnen geöffnet hat).

Das ging doch aber auch schon in Version 0.11, die ich schon seit vielen Monden nutze.

echo "$verabschiedung $name";