app/jquery/jquery-ui.core.js
changeset 3005 fbdf957cb3a3
parent 2749 4e2789b8e86d