DMNT-Radio für Firefox

Ein Mini-Player in der Symbolleiste. Klick aufs Diamant-Symbol öffnet die Leiste: Play/Pause, die drei Sender Rock, Elektro und Pop, Lautstärke und der laufende Titel. Der Ton läuft weiter, wenn du die Leiste schließt — und auch, wenn diese Seite zu ist. Am Symbol steht dann ROC, ELE oder POP.

Was es darf — und was nicht:

• Es spricht mit genau einer Adresse: radio.dmnt-link.de. Von dort kommen der Ton und der Titel.
• Es merkt sich Sender und Lautstärke — in deinem Browser, sonst nirgends.
• Es sieht keine Seiten, die du besuchst, und keine Formulare.
• Datenerhebung laut Manifest: keine. Das steht so in der Erweiterung und hat Mozilla bei der Prüfung mitgelesen.

Installieren:

• Unten auf den Knopf klicken. Firefox fragt einmal nach, ob es die Erweiterung hinzufügen soll — „Hinzufügen" bestätigen.
• Das Diamant-Symbol landet rechts oben in der Symbolleiste. Falls nicht sichtbar: im Erweiterungs-Menü (Puzzleteil) anheften.
• Braucht Firefox 140 oder neuer.

Fertig ist es, wenn ein Klick auf den runden Knopf Musik spielt und der Titel in der Mitte steht.

Es ist ein unlisted Add-on: Mozilla hat es geprüft und signiert — ohne diese Signatur ließe Firefox es gar nicht erst installieren — aber es steht nicht im öffentlichen Verzeichnis, weil es für eine Handvoll Leute in einer Orga gedacht ist und nicht für alle Welt. Deshalb gibt es dort auch keine Seite, auf die man hier verlinken könnte.

DMNT-Radio – Desktop-App

Ein kleiner Player, der unten rechts im Infobereich der Taskleiste sitzt. Rechtsklick aufs Diamant-Symbol öffnet das Menü: Abspielen/Stopp, die drei Sender Rock, Elektro und Pop und ein Lautstärkeregler. Beginnt ein neuer Titel, blendet die App unten rechts kurz Titel und Interpret ein — ohne Ton und ohne dem Spiel oder dem Fenster, in dem du gerade tippst, den Fokus zu nehmen. Doppelklick aufs Symbol startet oder stoppt die Musik.

Was sie tut:

• Sie spricht mit genau einer Adresse: radio.dmnt-link.de. Von dort kommen der Ton und, alle zehn Sekunden, der laufende Titel — aber nur, solange Musik läuft.
• Sie merkt sich Sender, Lautstärke und die zwei Schalter in %APPDATA%\DMNT-Radio\settings.ini. Daneben liegt ein kurzes Protokoll (log.txt) mit Verbindungen und Fehlern.
• Reißt die Verbindung ab, verbindet sie sich nach fünf Sekunden selbst neu.

Was sie nicht tut:

• Sie installiert nichts, schreibt nichts in die Registry und trägt sich nicht in den Autostart ein.
• Sie braucht keine Administratorrechte und fragt auch nicht danach.
• Sie lädt keine Updates und keinen weiteren Programmcode nach.
• Sie sendet keine Nutzungsdaten, liest keine anderen Dateien, sieht weder Tastatur noch Bildschirm und öffnet keinen Port.

Einrichten:

• Unten die ZIP-Datei laden und entpacken. Drin: DMNT-Radio.exe, eine Anleitung und der vollständige Quellcode.
• Die EXE ist nicht signiert. Windows warnt deshalb beim ersten Start („Der Computer wurde durch Windows geschützt“): auf „Weitere Informationen“ und dann „Trotzdem ausführen“.
• Das Symbol erscheint unten rechts, notfalls hinter dem kleinen Pfeil „^“ — von dort in die Taskleiste ziehen.

Fertig ist es, wenn nach „Abspielen“ Musik läuft und das Symbol farbig wird. Entfernen: Beenden und die EXE löschen, dazu den Ordner %APPDATA%\DMNT-Radio.

Prüfsumme (SHA-256) der DMNT-Radio.exe:
e16396102569162c3296a0a6b933a5e617df8be67b232198aac17c1921aeaf07
In PowerShell nachrechnen: Get-FileHash .\DMNT-Radio.exe