|  | @@ 140-142 (lines=3) @@ | 
                                                            
                                    | 137 |  | 			global $wp; | 
                                                            
                                    | 138 |  | 		} | 
                                                            
                                    | 139 |  | 		$post_name = null; | 
                                                            
                                    | 140 |  | 		if ( isset( $wp->query_vars['name'] ) && ! empty( $wp->query_vars['name'] )) { | 
                                                            
                                    | 141 |  | 			$post_name = $wp->query_vars['name']; | 
                                                            
                                    | 142 |  | 		} | 
                                                            
                                    | 143 |  | 		if ( ! $post_name && isset( $wp->query_vars['pagename'] ) && ! empty( $wp->query_vars['pagename'] )) { | 
                                                            
                                    | 144 |  | 			$post_name = $wp->query_vars['pagename']; | 
                                                            
                                    | 145 |  | 		} | 
                                                                                
                                |  | @@ 143-145 (lines=3) @@ | 
                                                            
                                    | 140 |  | 		if ( isset( $wp->query_vars['name'] ) && ! empty( $wp->query_vars['name'] )) { | 
                                                            
                                    | 141 |  | 			$post_name = $wp->query_vars['name']; | 
                                                            
                                    | 142 |  | 		} | 
                                                            
                                    | 143 |  | 		if ( ! $post_name && isset( $wp->query_vars['pagename'] ) && ! empty( $wp->query_vars['pagename'] )) { | 
                                                            
                                    | 144 |  | 			$post_name = $wp->query_vars['pagename']; | 
                                                            
                                    | 145 |  | 		} | 
                                                            
                                    | 146 |  | 		if ( ! $post_name && isset( $wp->request ) && ! empty( $wp->request )) { | 
                                                            
                                    | 147 |  | 			$possible_post_name = basename( $wp->request ); | 
                                                            
                                    | 148 |  | 			if ( ! is_numeric( $possible_post_name )) { |