page.inc.php 310 B

12345678910111213141516171819202122
  1. <?php
  2. // Returns true when the user is using IE
  3. function is_ie() {
  4. if (isset($_SERVER['HTTP_USER_AGENT']) &&
  5. (strpos($_SERVER['HTTP_USER_AGENT'], 'MSIE') !== false)) {
  6. return true;
  7. } else {
  8. return false;
  9. }
  10. }
  11. $page = array(
  12. 'css' => array('common'),
  13. 'js' => array('jquery')
  14. );
  15. ?>