added F5 as a shortcut for running a file with php