// selection is highlighted.
// The tip text is shown when the user moves the mouse over the button.
$toolarray=array(
- array( "image"=>"button_bold.gif",
+ array( "image"=>"button_bold.png",
"open"=>"\'\'\'",
"close"=>"\'\'\'",
"sample"=>wfMsg("bold_sample"),
"tip"=>wfMsg("bold_tip")),
- array( "image"=>"button_italic.gif",
+ array( "image"=>"button_italic.png",
"open"=>"\'\'",
"close"=>"\'\'",
"sample"=>wfMsg("italic_sample"),
"tip"=>wfMsg("italic_tip")),
- array( "image"=>"button_link.gif",
+ array( "image"=>"button_link.png",
"open"=>"[[",
"close"=>"]]",
"sample"=>wfMsg("link_sample"),
"tip"=>wfMsg("link_tip")),
- array( "image"=>"button_extlink.gif",
+ array( "image"=>"button_extlink.png",
"open"=>"[",
"close"=>"]",
"sample"=>wfMsg("extlink_sample"),
"tip"=>wfMsg("extlink_tip")),
- array( "image"=>"button_headline.gif",
+ array( "image"=>"button_headline.png",
"open"=>"\\n== ",
"close"=>" ==\\n",
"sample"=>wfMsg("headline_sample"),
"tip"=>wfMsg("headline_tip")),
- array( "image"=>"button_image.gif",
+ array( "image"=>"button_image.png",
"open"=>"[[".$wgLang->getNsText(NS_IMAGE).":",
"close"=>"]]",
"sample"=>wfMsg("image_sample"),
"tip"=>wfMsg("image_tip")),
- array( "image"=>"button_media.gif",
+ array( "image"=>"button_media.png",
"open"=>"[[".$wgLang->getNsText(NS_MEDIA).":",
"close"=>"]]",
"sample"=>wfMsg("media_sample"),
"tip"=>wfMsg("media_tip")),
- array( "image"=>"button_math.gif",
+ array( "image"=>"button_math.png",
"open"=>"\\<math\\>",
"close"=>"\\</math\\>",
"sample"=>wfMsg("math_sample"),
"tip"=>wfMsg("math_tip")),
- array( "image"=>"button_nowiki.gif",
+ array( "image"=>"button_nowiki.png",
"open"=>"\\<nowiki\\>",
"close"=>"\\</nowiki\\>",
"sample"=>wfMsg("nowiki_sample"),
"tip"=>wfMsg("nowiki_tip")),
- array( "image"=>"button_sig.gif",
+ array( "image"=>"button_sig.png",
"open"=>"--~~~~",
"close"=>"",
"sample"=>"",
"tip"=>wfMsg("sig_tip")),
- array( "image"=>"button_hr.gif",
+ array( "image"=>"button_hr.png",
"open"=>"\\n----\\n",
"close"=>"",
"sample"=>"",