woothemes/woocommerce — pull request #3356 by bgallagh3r (2013-06-17 15:39:57+00:00)
Title: Add 'cat-parent' class to widget. Issue #3355

Added a class if the category has children (but is not the current
category).