/**
  * sensei_course_archive_header function.
  *
  * @access public
  * @since  1.2.0
  * @deprecated since 1.9.0 use WooThemes_Sensei_Course::archive_header
  * @return void
  */
 function sensei_course_archive_header()
 {
     trigger_error('This function sensei_course_archive_header has been depricated. Please use: WooThemes_Sensei_Course::course_archive_header ');
     WooThemes_Sensei_Course::archive_header('', '<header class="archive-header"><h1>', '</h1></header>');
 }