diff --git a/build-scripts/wikiheaders.pl b/build-scripts/wikiheaders.pl index 98591493b7..8649d4b0a9 100755 --- a/build-scripts/wikiheaders.pl +++ b/build-scripts/wikiheaders.pl @@ -2627,6 +2627,12 @@ if ($copy_direction == 1) { # --copy-to-headers +## Categories + + + + + ## Functions