`var html5Diff = …`