Switches the date time picker on google searches to a 12 hour clock
queste sono le versioni di questo script in cui il codice è stato aggiornato Visualizza tutte le versioni.
fix broken libraries