function isMobileDevice() } return false; } $isMobile = isMobileDevice(); header('Vary: User-Agent'); if ($isMobile) archive.archives else archive.archives ?> <?php echo htmlspecialchars($pageTitle); ?>