jQuery UI Tabs + jQuery Tools Tabs (Flowplayer) conflict

I have exactly the same problem as the person here. I know how to solve it. You're supposed to change the following in the jQuery Tools.js, right?

fi开发者_如何学运维nd:

$.fn.tabs = function(query, conf) {

change to something like this:

$.fn.fpTabs = function(query, conf) {

My problem is that I just can't find that line anywhere, not even with the search function of my editor!! I've downloaded the newest version of Flowplayer.org's jQuery Tools and I uploaded it to pastebin: http://pastebin.com/ispnQMVH Can you help me figure out how to do this?

If there's a nother way to prevent jQuery-ui tabs to inferfere with jQuery Tools tabs, then please let me know :)

Thanks a lot in advance!!

I'm putting this down as an answer because it would be a mess in a comment.

Looks like you can grab the unminified source from Github:

https://github.com/jquerytools/jquerytools

You could also try a quick hack to rename the tabs plugin in situ. If you load the jQuery Tools Tabs JavaScript file, then load a little patcher like this:

(function($) {
    // Rename the tabs in-place.
    $.fn.fpTabs = $.fn.tabs;
    delete $.fn.tabs;
})(jQuery);

and then load jQuery-UI:

<script src="/js/jquery.js"></script> 
<script src="/js/jquery.tools.min.js"></script> 
<script src="/js/jquery.tools.tabs-renamer.js"></script> <!-- see above -->
<script src="/js/jquery-ui.min.js"></script> 

You'll have to change the names of course but it should work if you load things in the above order.