<?php

/**
* Part of .inc migration to .inc.php to better support source code editors.
*  - report.inc stub that redirects to report.inc.php
*  - Timeframe: this script can never be removed
*/

require_once(dirname(__FILE__) . "/report.inc.php");