fix html5 ui javascript which was inadvertently deleted.
Fix for iso19115-3 schema plugin