modules/media_player/media_player.module

<?php
// $Id: media_player.module,v 1.4 2008/08/06 01:03:32 aaron Exp $

/**
 *  @file
 *  Media Player provides a Flash player for video and audio playback, and an API to access it.
 */

/**
 *  Implementation of hook_theme().
 */
function media_player_theme() {
  return array(
    'media_player_player' => array(
      'arguments' => array('file' => NULL, 'options' => array(), 'params' => array(), 'player' => NULL),
      'file' => 'media_player.theme.inc',
    ),
    'media_player_media_player' => array(
      'arguments' => array('file' => NULL, 'options' => array(), 'params' => array()),
      'file' => 'media_player.theme.inc',
    ),
  );
}
1	<?php
2	// $Id: media_player.module,v 1.4 2008/08/06 01:03:32 aaron Exp $
3
4	/**
5	* @file
6	* Media Player provides a Flash player for video and audio playback, and an API to access it.
7	*/
8
9	/**
10	* Implementation of hook_theme().
11	*/
12	function media_player_theme() {
13	return array(
14	'media_player_player' => array(
15	'arguments' => array('file' => NULL, 'options' => array(), 'params' => array(), 'player' => NULL),
16	'file' => 'media_player.theme.inc',
17	),
18	'media_player_media_player' => array(
19	'arguments' => array('file' => NULL, 'options' => array(), 'params' => array()),
20	'file' => 'media_player.theme.inc',
21	),
22	);
23	}