Enable ?action=source&highlight=1 (cont.)

git-svn-id: svn://pmwiki.org/pmwiki/trunk@4721 524c5546-5005-0410-9a3e-e25e191bd360

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>';