Here's a php file

I'm committing something! Required header for Wordpress plugins.
Assuming our plugin will consist entirely of one file, let this be it.
Name subject to change, of course.