Use .php extension for control panel bootstrap file as per other modules