Cookie Add-On für Firebug

Tach,

Firebug ist sicherlich eine der nützlichsten Firefox-Erweiterungen für Webentwickler. Einer Sache hat aber schon immer gefehlt: Die Möglichkeit Cookies zu verwalten. Bis jetzt musste man dazu zusätzlich andere Erweiterungen installieren.

Dank Jan Odvárko ist das jetzt nicht mehr notwendig, denn seine Erweiterung Firecookie ergänzt Firebug um die nötigen Funktionen.

Habs gerade installiert, ist echt ne super Sache!

Firefox Erweiterung – Timestamps in phpMyAdmin umwandeln

Hallo allerseits,

heute habe ich etwas ganz besonderes. Meine erste Firefox-Erweiterung, die ich veröffentliche.
Ich habe zwar in der Vergangenheit schon die eine oder andere geschrieben, aber eher für meinen persönlichen Gebrauch.

Was macht die Erweiterung?

  • Blendet bei allen phpMyAdmin-Installationen links oben eine kleine Box ein, die es ermöglicht schnell UNIX-Timestamps in ein lesbares Format umzuwandeln und umgekehrt
  • Erkennt mögliche Timestamps auf der Seite und hebt diese farblich hervor
  • Bei einem Klick auf einen erkannten Timestamp wird dieser in der Box im lesbaren Format angezeigt
  • Wenn man die Maus über einen erkannten Timestamp bewegt wird das lesbare Format sofort im Titel angezeigt

Wer braucht diese Erweiterung?
Ich. Und evtl. ja noch jemand… ;)

Hier ein kleiner Screenshot, wie das ganze aussieht:

pmatimestamp.png

Download

Hier gibts pmaTimestamp zum Download.

Diese Erweiterung ist unter der GPL veröffentlich.

Feedback
Über Feedback würde ich mich sehr freuen. Ihr habt bestimmt noch die ein oder andere Idee, wie man das Teil noch verbessern kann.

FavIcons im Firefox entfernen

Tach,

Bestimmt hatte der einer oder andere von euch schon mal das Problem, dass der Firefox bei seinen Lesezeichen gar kein oder ein falsches FavIcon mit abgespeichert hat. Ich hatte da so ein paar Fälle, war aber bis her immer zu faul diese Fehler zu beheben. Jetzt habe ich mich jedoch endlich aufgerafft und mich schlau gemacht. Ich habe eine nette kleine Erweiterung gefunden, die einem unter die Arme greift.

Der Favicon Picker bietet einem nicht nur die Möglichkeit an FavIcons zu entfernen, man kann sogar eigene Bildchen hinzufügen. Nette Sache.