MySQL Manual OpenSearch Plugin

Via http://openminds.lucido-media.de/mysql-manual-plugin-browsersuche.

Da search.mysql.com kein eigenes Such-Plugin für Firefox & Co. anbietet, könnt Ihr euch auf dieser Seite die entsprechende Funktionalität zu eurem Browser hinzufügen.

Einfach auf das Dropdownfeld eures Suchfelds im Browser klicken, dort sollten dann folgende Manuals zur auswahl stehen: