Project

General

Profile

« Previous | Next » 

Revision 627

Added by doc almost 17 years ago

Re-introduced Changeset 593 (filename in pages/ from page_title instead of menu_title)

View differences:

settings2.php
122 122 

  		




  123
  123
  
    
// Work-out what the link should be


  		




  124
  124
  
    
if($parent == '0') {


  		




  125
  
  
    
	$link = '/'.page_filename($menu_title);


  		




  126
  
  
    
	$filename = WB_PATH.PAGES_DIRECTORY.'/'.page_filename($menu_title).PAGE_EXTENSION; 


  		




  
  125
  
    
	$link = '/'.page_filename($page_title);


  		




  
  126
  
    
	$filename = WB_PATH.PAGES_DIRECTORY.'/'.page_filename($page_title).PAGE_EXTENSION; 


  		




  127
  127
  
    
} else {


  		




  128
  128
  
    
	$parent_section = '';


  		




  129
  129
  
    
	$parent_titles = array_reverse(get_parent_titles($parent));


  		




  ......




  131
  131
  
    
		$parent_section .= page_filename($parent_title).'/';


  		




  132
  132
  
    
	}


  		




  133
  133
  
    
	if($parent_section == '/') { $parent_section = ''; }


  		




  134
  
  
    
	$link = '/'.$parent_section.page_filename($menu_title);


  		




  135
  
  
    
	$filename = WB_PATH.PAGES_DIRECTORY.'/'.$parent_section.page_filename($menu_title).PAGE_EXTENSION;  


  		




  
  134
  
    
	$link = '/'.$parent_section.page_filename($page_title);


  		




  
  135
  
    
	$filename = WB_PATH.PAGES_DIRECTORY.'/'.$parent_section.page_filename($page_title).PAGE_EXTENSION;  


  		




  136
  136
  
    
}


  		




  137
  137
  
    

  		




  138
  138
  
    
// Check if a page with same page filename exists


  		












Also available in:  Unified diff