Searched refs:renameHomes (Results 1 – 1 of 1) sorted by relevance
299 public function wiki_rename_page($oldName, $newName, $renameHomes = true, $user = '') argument539 if ($renameHomes) {595 if ($renameHomes && $prefs['wikiHomePage'] == $oldName) {