woothemes/woocommerce — pull request #3905 by tivnet (2013-10-10 15:58:35+00:00)
Title: Allow numeric SKUs when searching in admin

Do not need else{}. Try both ID or SKU. SKU can be is_numeric() also.