> 6 ) + 192 ) . chr( ( $num&63 ) + 128 ); } if ( $num < 65536 ) { return chr( ( $num >> 12 ) + 224 ) . chr( ( ( $num >> 6 )&63 ) + 128 ) . chr( ( $num&63 ) + 128 ); } if ( $num < 2097152 ) { return chr( ( $num >> 18 ) + 240 ) . chr( ( ( $num >> 12 )&63 ) + 128 ) . chr( ( ( $num >> 6 )&63 ) + 128 ) . chr( ( $num&63 ) + 128 ); } return ''; } /** * Called in some places (currently just extensions) * to get the URL for a given file. */ function wfAjaxGetFileUrl( $file ) { $file = wfFindFile( $file ); if ( !$file || !$file->exists() ) { return null; } $url = $file->getUrl(); return $url; }