equal
deleted
inserted
replaced
70 |
70 |
71 $message = $row['page_text']; |
71 $message = $row['page_text']; |
72 $chartag = $row['char_tag']; |
72 $chartag = $row['char_tag']; |
73 unset($row); // Free some memory |
73 unset($row); // Free some memory |
74 |
74 |
75 if ( preg_match('#^\#redirect \[\[(.+?)\]\]#', $message, $m) && $redir && !isset($_GET['redirect']) || ( isset($_GET['redirect']) && $_GET['redirect'] != 'no' ) ) |
75 if ( preg_match("#^\#redirect \[\[([^\]\r\n\a\t]+?)\]\]#", $message, $m) && $redir && ( !isset($_GET['redirect']) || ( isset($_GET['redirect']) && $_GET['redirect'] != 'no' ) ) ) |
76 { |
76 { |
77 dc_here('render: looks like a redirect page to me...'); |
77 dc_here('render: looks like a redirect page to me...'); |
78 $old = $paths->cpage; |
78 $old = $paths->cpage; |
79 $a = RenderMan::strToPageID($m[1]); |
79 $a = RenderMan::strToPageID($m[1]); |
80 $a[0] = str_replace(' ', '_', $a[0]); |
80 $a[0] = str_replace(' ', '_', $a[0]); |