woothemes/woocommerce — pull request #6773 by shivapoudel (2014-11-17 09:39:00+00:00)
Title: Simplify the condition for custom menu order

Nothing changed only simplified the use of condition for `custom_menu_order`.