library/report_database.inc

   1 <?php
   2
   3 /**
   4  * Part of .inc migration to .inc.php to better support source code editors.
   5  *  - report_database.inc stub that redirects to report_database.inc.php
   6  *  - Timeframe: this script can be remove in mid 2023
   7  */
   8
   9 require_once(dirname(__FILE__) . "/report_database.inc.php");