- Timestamp:
- 02/15/06 21:54:21 (3 years ago)
- Files:
-
- 1 modified
-
branches/new-themes-model/rss/util.php (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
branches/new-themes-model/rss/util.php
r1278 r1282 1157 1157 $media = 'rss'; 1158 1158 } 1159 elseif (isset($_SESSION['mobile']) || isset($_ GET['mobile']) || isMobileDevice()) {1159 elseif (isset($_SESSION['mobile']) || isset($_REQUEST['mobile']) || isMobileDevice()) { 1160 1160 $media = 'mobile'; 1161 1161 } … … 1163 1163 // This is here so that auto-detected (e.g. mobile) medias 1164 1164 // can be overridden. 1165 if (isset($_ GET['media'])) {1166 $media = sanitize($_ GET['media'], RSS_SANITIZER_CHARACTERS);1165 if (isset($_REQUEST['media'])) { 1166 $media = sanitize($_REQUEST['media'], RSS_SANITIZER_CHARACTERS); 1167 1167 } 1168 1168
