small bugfix related to not copying over changes in debug index.html to production index.php in configdemo/ folder