WebUI: use AngularJS built-in date filter