Travis tweak + javascript whitespace removal