Lizenz der von mir verwendeten Smilies?

[Dunkelangst]

Servus allerseits!

Ich habe vor längerer Zeit ein WordPress Theme, welches unter der GPL V3 steht, angepasst. Ich möchte meine Veränderungen des Themes der WordPress Community zurück geben und habe es daher zum Download bereit gestellt.

Jedoch sind die Standard Smilies von WordPress mehr als unpassend zu meinem angepassten Theme. Ich habe daher im debianforum einmal angefragt, woher die Smilies dort kommen und ob ich sie verwenden darf, da sie so gut zum Theme meines Blogs passen.

Der Admin kann sich lediglich daran erinnern, dass diese einmal aus dem Styles Database stammten (jetzt sind sie nicht mehr dort) und dass er nichts dagegen hätte, wenn ich sie benutzen würde. Aufgrund der Tatsache, dass phpBB unter der GPL steht dürfte auch nichts dagegen sprechen. Ich würde die Smilies allerdings gerne zum Download anbieten - jedoch muss dafür der Lizenzhinweis eineindeutig existieren.

Ich wollte daher einmal fragen, ob irgendjemand hier weiß, woher die Smilies (klick mich) kommen und vor allem, unter welcher Lizenz diese stehen?

Ich danke für eure Hilfe und für euer Verständnis für ein derartig "unwichtiges" Thema...