plugins/SpecialLog.php
changeset 980 d13fad911955
parent 970 d894086f38cc
child 981 888502d761b4
equal deleted inserted replaced
979:aafb9f6806c9 980:d13fad911955
   146   {
   146   {
   147     die_friendly($lang->get('etc_access_denied_short'), '<p>' . $lang->get('log_err_access_denied') . '</p>');
   147     die_friendly($lang->get('etc_access_denied_short'), '<p>' . $lang->get('log_err_access_denied') . '</p>');
   148   }
   148   }
   149   
   149   
   150   $page--;
   150   $page--;
   151   $rowcount = $log->get_row_count();  
   151   $rowcount = $log->get_row_count();
   152   $result_url = makeUrlNS('Special', 'Log/' . rtrim(preg_replace('|/?resultpage=([0-9]+)/?|', '/', $paths->getAllParams()), '/') . '/resultpage=%s', false, true);
   152   $paramsbit = rtrim(preg_replace('|/?resultpage=([0-9]+)/?|', '/', $paths->getAllParams()), '/');
       
   153   $paramsbit = ( !empty($paramsbit) ) ? "/$paramsbit" : '';
       
   154   $result_url = makeUrlNS('Special', 'Log' . $paramsbit . '/resultpage=%s', false, true);
   153   $paginator = generate_paginator($page, ceil($rowcount / $pagesize), $result_url);
   155   $paginator = generate_paginator($page, ceil($rowcount / $pagesize), $result_url);
   154   
   156   
   155   $dataset = $log->get_data($page * $pagesize, $pagesize);
   157   $dataset = $log->get_data($page * $pagesize, $pagesize);
   156   
   158   
   157   $output->header();
   159   $output->header();