Enable ?action=source&highlight=1

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

1 files changed, 15 insertions, 2 deletions

diff --git a/pmwiki.php b/pmwiki.php
index b749f753..133a8c8b 100644
--- a/pmwiki.php
+++ b/pmwiki.php
@@ -1635,7 +1635,7 @@ class PageStore {
     $page['time'] = $Now;
     $page['host'] = strval(@$_SERVER['REMOTE_ADDR']);
     $page['agent'] = strval(@$_SERVER['HTTP_USER_AGENT']);
-    if (IsEnabled($EnableRevUserAgent, 0)) $page["agent:$Now"] = $page['agent'];
+    if (IsEnabled($EnableRevUserAgent, 0) && $page['agent']) $page["agent:$Now"] = $page['agent'];
     $page['rev'] = intval(@$page['rev'])+1;
     unset($page['version']); unset($page['newline']);
     uksort($page, 'CmpPageAttr');
@@ -2864,9 +2864,22 @@ function HandleEdit($pagename, $auth = 'edit') {
 }
 
 function HandleSource($pagename, $auth = 'read') {
-  global $HTTPHeaders;
+  global $EnablePmSyntax, $PageStartFmt, $PageEndFmt, $HTTPHeaders;
   $page = RetrieveAuthPage($pagename, $auth, true, READPAGE_CURRENT);
   if (!$page) Abort("?cannot source $pagename");
+  
+  if (@$_REQUEST['highlight']) {
+    $text = "<div class='pmhlt'><pre style='white-space: pre-wrap;'>" 
+      . str_replace('$', '&#x24;', PHSC(@$page['text'])).'</pre></div>';
+
+    $fmt = array( &$PageStartFmt, $text, &$PageEndFmt);
+
+    $EnablePmSyntax = 1;
+    DisableSkinParts('header footer left right action title');
+    PrintFmt($pagename,$fmt);
+    exit;
+  }
+  
   foreach ($HTTPHeaders as $h) {
     $h = preg_replace('!^Content-type:\\s+text/html!i',
              'Content-type: text/plain', $h);