File headers for php and python