Where is the Shopping Cart HTML created?

Hi all,

I'm looking to add a "proceed to checkout button" to the mini cart using a specific image design. I've established from browsing these forums that this isn't possible through the backend interface, so I'm going to have to edit the php file that generates the html code. I can't actually find this in the file system. Does anyone know where it is?

I've found the file mod_hikashop_cart.php in modules/mod_hikashop_cart. But whereas in other modules theres another subdirectory called tmpl with an index.php file generating the html, there isn't for this module.

Any help would be much appriciated.

Jonathan