wp-cli/wp-cli — pull request #1546 by danielbachhuber (2014-12-05 22:27:08+00:00)
Title: Define wp_is_mobile() function

It's normally defined in `vars.php`, and some plugins / themes expect it

Fixes #1542, #1531