From 7086111ad4dd997e12a3220e1ee60c9b9bcf0bb8 Mon Sep 17 00:00:00 2001 From: Charles Date: Tue, 7 Jan 2020 13:06:14 +0100 Subject: Added wordpress --- srcs/wordpress/wp-includes/vars.php | 169 ++++++++++++++++++++++++++++++++++++ 1 file changed, 169 insertions(+) create mode 100644 srcs/wordpress/wp-includes/vars.php (limited to 'srcs/wordpress/wp-includes/vars.php') diff --git a/srcs/wordpress/wp-includes/vars.php b/srcs/wordpress/wp-includes/vars.php new file mode 100644 index 0000000..6a5e112 --- /dev/null +++ b/srcs/wordpress/wp-includes/vars.php @@ -0,0 +1,169 @@ += 7; + +/** + * Test if the current browser runs on a mobile device (smart phone, tablet, etc.) + * + * @since 3.4.0 + * + * @return bool + */ +function wp_is_mobile() { + if ( empty( $_SERVER['HTTP_USER_AGENT'] ) ) { + $is_mobile = false; + } elseif ( strpos( $_SERVER['HTTP_USER_AGENT'], 'Mobile' ) !== false // many mobile devices (all iPhone, iPad, etc.) + || strpos( $_SERVER['HTTP_USER_AGENT'], 'Android' ) !== false + || strpos( $_SERVER['HTTP_USER_AGENT'], 'Silk/' ) !== false + || strpos( $_SERVER['HTTP_USER_AGENT'], 'Kindle' ) !== false + || strpos( $_SERVER['HTTP_USER_AGENT'], 'BlackBerry' ) !== false + || strpos( $_SERVER['HTTP_USER_AGENT'], 'Opera Mini' ) !== false + || strpos( $_SERVER['HTTP_USER_AGENT'], 'Opera Mobi' ) !== false ) { + $is_mobile = true; + } else { + $is_mobile = false; + } + + /** + * Filters whether the request should be treated as coming from a mobile device or not. + * + * @since 4.9.0 + * + * @param bool $is_mobile Whether the request is from a mobile device or not. + */ + return apply_filters( 'wp_is_mobile', $is_mobile ); +} -- cgit