https://www.php-resource.de/de/php-magazin/Firefox-10-enthaelt-neue-Entwicklerwerkzeuge_13984