Fix #12471. Use consistent line endings in jquery.js