IE10 fixes

Fixed a problem where IE10 got a JS-error because trim(9 was not defined.

Also fixes a null-pointer problem for pages with no lastModificationDateTime