From 5bf66662a9bdd62c5bccab15e607cd95cfb8fcab Mon Sep 17 00:00:00 2001 From: Charles Cabergs Date: Mon, 27 Jul 2020 10:05:23 +0200 Subject: Removed wordpress and phpmyadmin, my server doesn't handle it well and it brings shame on my familly --- srcs/wordpress/wp-includes/vars.php | 169 ------------------------------------ 1 file changed, 169 deletions(-) delete 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 deleted file mode 100644 index 6a5e112..0000000 --- a/srcs/wordpress/wp-includes/vars.php +++ /dev/null @@ -1,169 +0,0 @@ -= 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