diff options
Diffstat (limited to 'include/nav.php')
| -rw-r--r-- | include/nav.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/nav.php b/include/nav.php index 5490d6cd4..6ad7b58d0 100644 --- a/include/nav.php +++ b/include/nav.php @@ -1,4 +1,4 @@ -<?php +<?php /** @file */ function nav(&$a) { |