Ahh, I see. If they are created automatically and will therefore always have the .php extension, then yes hardcoding will be okay. It might be good to add a comment explaining that, though.