]> git.openstreetmap.org Git - nominatim.git/tree - lib/template/includes/
Merge pull request #1115 from mtmail/php-linting-for-all-not-just-tests
[nominatim.git] / lib / template / includes /
drwxr-xr-x   ..
-rw-r--r-- 489 html-footer.php
-rw-r--r-- 640 html-header.php
-rw-r--r-- 2195 html-top-navigation.php
-rw-r--r-- 586 introduction.php
-rw-r--r-- 1181 report-errors.php