1 files changed, 1 insertions, 1 deletions
diff --git a/pmwiki.php b/pmwiki.php
index 133a8c8b..1bcba98b 100644
--- a/pmwiki.php
+++ b/pmwiki.php
@@ -2868,7 +2868,7 @@ function HandleSource($pagename, $auth = 'read') {
   $page = RetrieveAuthPage($pagename, $auth, true, READPAGE_CURRENT);
   if (!$page) Abort("?cannot source $pagename");
   
-  if (@$_REQUEST['highlight']) {
+  if (intval(@$_REQUEST['highlight'])) {
     $text = "<div class='pmhlt'><pre style='white-space: pre-wrap;'>" 
       . str_replace('$', '&#x24;', PHSC(@$page['text'])).'</pre></div>';