Missed a file type in the code snippet for app.php