public function RenameFile() { includeFile('tool/Page_Rename.php'); return gp_rename::RenamePage($this); }