Changes the default Events header on the production details page.

wpt_change_events_on_production_page_header.php

<?php
/**
 * Changes the default Events header on the production details page.
 * 
 * @param	string	$header	The default Events header.
 * @return	string			The new Events header.
 */
function wpt_change_events_on_production_page_header($header) {
	return '<h4>Showtimes</h4>';
}
add_filter('wpt_production_page_events_header', 'wpt_change_events_on_production_page_header');