How can I get all the files in a given directory? I'm bored and want to write a file manager in PHP.