diff options
Diffstat (limited to 'tools/scripts')
-rwxr-xr-x | tools/scripts/generate-privdefs.php | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/tools/scripts/generate-privdefs.php b/tools/scripts/generate-privdefs.php index 8b50f5c..fb1f09b 100755 --- a/tools/scripts/generate-privdefs.php +++ b/tools/scripts/generate-privdefs.php @@ -109,7 +109,14 @@ if (!$fp) { $pdata; $pdata = "<?php\n"; $pdata .= "/*\n"; -$pdata .= " * priv.defs.inc - Generated privilege definitions\n"; +$pdata .= " * priv.defs.inc - Default Privilege Definitions\n"; +$pdata .= " * Generated by pfSense/tools/scripts/generate-privdefs.php\n"; +$pdata .= " *\n"; +$pdata .= " * ***************************************************\n"; +$pdata .= " * DO NOT EDIT THIS FILE. IT IS GENERATED BY A SCRIPT.\n"; +$pdata .= " * ***************************************************\n"; +$pdata .= " *\n"; +$pdata .= " * Text is pulled from metadata headers in the referenced files.\n"; $pdata .= " *\n"; $pdata .= " */\n"; $pdata .= "\n"; |