Rename copyright.php to tools/copyright.php