Translations:Manual:Opensearch desc.php/3/en

Since 1.13, you can use the $OpenSearchUrls hook to change the urls displayed by that script.