$pages ) $page = $pages; if ( $page > 1 ) { $new_pages = array(); $pages_used = array(); $lo_exp = max(2,log($page-1)/log($max_shortcuts)); for ( $i = 0; $i < $max_shortcuts; $i++ ) { $new_page = round($page-pow($lo_exp,$i)); if ( isset($pages_used[$new_page]) ) continue; if ( $new_page <= 1 ) break; $pages_used[$new_page] = true; array_unshift( $new_pages, $new_page ); } if ( !isset($pages_used[1]) ) array_unshift( $new_pages, 1 ); foreach ( $new_pages as $new_page ) { ?>   -  - $pages ) break; $pages_used[$new_page] = true; array_push( $new_pages, $new_page ); } if ( !isset($pages_used[$pages]) ) array_push( $new_pages, $pages ); foreach ( $new_pages as $new_page ) { ?>           > Mark disabled>