# 1. Where is the navbar included?
grep -n -r "viewer.navbar\|navbar\.php\|includes/viewer" --include="*.php" .

# 2. Top of the main entry point
head -80 docviewer.php   # or whatever the main file is named

# 3. Confirm the file you edited is the one on disk
ls -la viewer/includes/viewer.navbar.php
wc -l viewer/includes/viewer.navbar.php
head -30 viewer/includes/viewer.navbar.php