It's a jQuery Plugin to format Date outputs using JavaScript.
jquerydateformatdateformat
http://archive.plugins.jquery.com/project/jquery-dateFormat