* Use $wgScriptExtension for opensearch_desc.php

diff --git a/includes/Skin.php b/includes/Skin.php
index aba1171..bb22247 100644 (file)
--- a/includes/Skin.php
+++ b/includes/Skin.php
@@ -153,7 +153,7 @@ class Skin extends Linker {
        }
 
        function initPage( &$out ) {
-               global $wgFavicon, $wgAppleTouchIcon, $wgScriptPath, $wgSitename, $wgContLang;
+               global $wgFavicon, $wgAppleTouchIcon, $wgScriptPath, $wgSitename, $wgContLang, $wgScriptExtension;
 
                wfProfileIn( __METHOD__ );
 
@@ -173,7 +173,7 @@ class Skin extends Linker {
                $out->addLink( array( 
                        'rel' => 'search', 
                        'type' => 'application/opensearchdescription+xml',
-                       'href' => "$wgScriptPath/opensearch_desc.php",
+                       'href' => "$wgScriptPath/opensearch_desc{$wgScriptExtension}",
                        'title' => "$wgSitename ($langName)",
                ));
 

diff --git a/opensearch_desc.php5 b/opensearch_desc.php5
new file mode 100644 (file)
index 0000000..3f2f287
--- /dev/null
+++ b/opensearch_desc.php5
@@ -0,0 +1 @@
+<?php require './opensearch_desc.php'; 
\ No newline at end of file