in tools/license/insert_license.py [0:0]
def add_header_to_files(directory, extensions):
for root, _, files in os.walk(directory):
for filename in files:
if any(filename.endswith("." + ext) for ext in extensions):
filepath = os.path.join(root, filename)
with open(filepath, 'r') as file:
content = file.read()
php_file = filepath.endswith(".php")
if file_contains_license(filepath):
content = replace_header(content, php_file)
else:
content = insert_license(content, php_file)
with open(filepath, 'w') as file:
file.write(content)