var searchIndex = JSON.parse('{\
"ruster":{"doc":"","t":[5,5,5,5,5,5,5,5],"n":["mysql_restore_all_databases","mysql_restore_database","mysqldump_all_databases","mysqldump_database","pg_dump_all_databases","pg_dump_database","psql_restore_all_databases","psql_restore_database"],"q":["ruster","","","","","","",""],"d":["Example","Example","Example","Example","Example","Example","Example","Example"],"i":[0,0,0,0,0,0,0,0],"f":[[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]]],"p":[]}\
}');
if (window.initSearch) {window.initSearch(searchIndex)};