Just a note for anyone who wants to convert dashboard time from 12 to 24h format.
Edit ajaxWDwx3.js around line 1855.
Change the code from:
set_ajax_obs("ajaxntime" , WDdt.date("g:i a")); // 2:37 pm
set_ajax_obs("ajaxntimess" , WDdt.date("g:i:s a")); // 2:37:07 pm
set_ajax_obs("ajaxntimess2" , WDdt.date("g:i:s a")); // 2:37:07 pm
to:
set_ajax_obs("ajaxntime" , WDdt.date("H:i")); // 14:37
set_ajax_obs("ajaxntimess" , WDdt.date("H:i:s")); // 14:37:07
set_ajax_obs("ajaxntimess2" , WDdt.date("H:i:s")); // 14:37:07
Now dashboard time is on 24h format.
Regards,
Alessandro