File reading and PHP rendering