Removal of $.ui.isOverAxis() in 1.10 broke tabs.sortable

While creating a WordPress plugin in which I implemented jQuery-ui tabs on a component, I wanted to make the tabs sortable so I followed the API documentation and used the code in the demo:

#!python
var tabs = $( "#tabs" ).tabs();
tabs.find( ".ui-tabs-nav" ).sortable({
	axis: "x",
	stop: function() {
		tabs.tabs( "refresh" );
	}
});

This causes the following error using jQuery 1.10.0 and up:

Uncaught TypeError: Object #<Object> has no method 'isOverAxis'

It also causes the side effect of the entire tab element section growing vertically when you try to drag a tab.

When I revert to version 1.9.2, the tabs sort as expected without any changes to the code.

As this removal of $.ui.isOverAxis() was purposeful for some reason as shown in ticket #8891, is there another new way to use sortable with tabs? If so, it needs to be reflected in the API documentation and I was unable to find anything to this effect anywhere in the API or on the internet; if not, isOverAxis() should be added back in as it breaks a core functionality of tabs.