Added copyright header to PHP files