Code Editor : ui-datepaginator.js