equal
deleted
inserted
replaced
91 /** |
91 /** |
92 * @ignore |
92 * @ignore |
93 */ |
93 */ |
94 function wp_guess_url() {} |
94 function wp_guess_url() {} |
95 |
95 |
96 if ( ! function_exists( 'json_encode' ) ) : |
|
97 /** |
|
98 * @ignore |
|
99 */ |
|
100 function json_encode() {} |
|
101 endif; |
|
102 |
|
103 function get_file( $path ) { |
96 function get_file( $path ) { |
104 |
97 |
105 if ( function_exists( 'realpath' ) ) { |
98 $path = realpath( $path ); |
106 $path = realpath( $path ); |
|
107 } |
|
108 |
99 |
109 if ( ! $path || ! @is_file( $path ) ) { |
100 if ( ! $path || ! @is_file( $path ) ) { |
110 return ''; |
101 return ''; |
111 } |
102 } |
112 |
103 |