Es nervt wirklich, jedesmal das PHP-Manual öffnen zu müssen um dort nach der Syntax eines exotischen Kommandos zu suchen. Ich suche nun schon länger nach einem Suchfeld für meinen Firefox, mit dem ich nach PHP-Kommandos suchen kann. Diese kleinen Eingabefelder oben rechts, die einen so schön bequem nach irgendwas bei irgendwo suchen lassen. Sowas will ich auch für PHP-Funktionen, also auf ins Web und dannach gesucht.
Kurzum: Ich habe nichts gefunden, wahrscheinlich bin ich zu blöd, Google zu benutzen. Nichtsdestotrotz, wozu ist man denn Entwickler. So schwer können diese Suchfelder doch gar nicht sein.
Und in aller Eile: Ja, es ist mir nun doch endlich gelungen, mein erstes Suchfeld für den Firefox zu bauen.
Und nun für euch anderen: Wie baue ich mir mein PHP-Suchfeld:
Sucht euch auf der Festplatte die anderen Suchfelder heraus, diese liegen bei mir unter
C:\Dokumente und Einstellungen\Name\Anwendungsdaten\Mozilla\Firefox\Profiles\irgendwas\searchplugins
Dorthin muss nun die Datei php-suche.xml, die das Suchfeld beinhaltet.
— php-suche.xml —————————————————————–
PHP Suche
Suche nach PHP-Funktionen mit Firefox
UTF-8
data:image/x-icon;base64,Qk02AwAAAAAAADYAAAAoAAAAEAAAABAAAAABABgAAAAAAAADAADEDgAAxA4AAAAAAAAAAAAAw
ICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAw
ICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICA19fX19fX19fXwICAwICAwICAwICAwICAwICAwICA1
9fX19fX19fXwICAwICAwICA19fXAAAA19fXwICAwICAwICAwICAwICAwICAwICA19fXAAAA19fXwICAwICAwI
CA19fXAAAA19fX19fXwICAwICA19fXwICAwICA19fX19fXAAAA19fX19fXwICAwICA19fXAAAAAAAAAAAA19
fX19fXAAAA19fX19fXAAAA19fXAAAAAAAAAAAA19fX19fX19fXAAAA19fX19fXAAAA19fXAAAA19fX19fXAA
AA19fXAAAA19fX19fXAAAA19fX19fXAAAA19fX19fXAAAA19fXAAAA19fX19fXAAAA19fXAAAA19fX19fXAA
AA19fX19fXAAAA19fX19fXAAAA19fXAAAA19fX19fXAAAA19fXAAAA19fX19fXAAAA19fX19fXAAAAAAAAAAA
A19fX19fXAAAAAAAAAAAA19fX19fXAAAAAAAAAAAA19fX19fXwICA19fX19fX19fXwICA19fXAAAA19fX19fX
wICAwICA19fX19fX19fXwICAwICAwICAwICAwICAwICAwICA19fXAAAA19fXwICAwICAwICAwICAwICAwICA
wICAwICAwICAwICAwICAwICAwICA19fX19fX19fXwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICA
wICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICA
wICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICAwICA
wICAwICAwICA
————————————————————————————
Anschließend Firefox neu starten und oben rechts das Feld PHP Suche auswählen.
Viel Spaß damit