What are these characters supposed to be?

The page you are looking at now is at this URL: http://pastoid.com/bvy

This paste was last updated on July 30, 2009 at 9:22 am.

public function filter_post_word_count( $word_count, $post )
	{$array = array ('ä' => 'ae','ä' => 'ae','à ' => 'Ae','Ä' 
=> 'Ae','ö' => 'oe','ö' => 'oe','à ' => 'Oe','Ö' => 
'Oe','ü' => 'ue','ü' => 'ue','à ' => 'Ue','Ü' => 'Ue','à ' 
=> 'ss','ß' => 'ss' );
     $content = strip_tags( ( $this->config[ 'add_title' ] ? 
$post->content_out . " {$post->title}" : $post->content_out ));
     $content = strtr ( $content, $array);
     return str_word_count($content);}
 

Login:

Recent Pastes:

• January 13, 2012 at 1:12 am
• December 15, 2011 at 9:09 pm
• December 12, 2011 at 2:43 am
• November 18, 2011 at 5:24 pm
• November 18, 2011 at 2:42 pm
• More Recent Pastes

Recent Links:

• October 10, 2011 at 2:50 pm
• October 3, 2011 at 6:50 pm
• September 16, 2011 at 2:22 pm
• September 7, 2011 at 9:37 pm
• August 22, 2011 at 1:58 pm
• Tiled Thumbnail Display

About Pastoid:

• Spam Policy
• Report Bugs/Request Enhancements

Bookmarklet:

Tip: Use Pastoid to shorten URLs with this bookmarklet: Pastoid This