Update PHP file header.