I have two problems with functionality of "in other languages" box on my MW server. I would like to point from my articles to related articles on Wikipedia using standard interwikis. In this context I would like to:
1) Change the text from "in other languages" to something like "in other wikis"
2) My MW is localized as Czech (CS) and so when I add [[cs:something]] interwiki to an article, it is hiding it from in other languages box. I would like to switch off this language filtering.
Does anybody know how to solve point 1) or 2)?
(MW 1.7.1)
Thanks in advance
Jakub
Šerých Jakub wrote:
I have two problems with functionality of "in other languages" box on my MW server. I would like to point from my articles to related articles on Wikipedia using standard interwikis. In this context I would like to:
- Change the text from "in other languages" to something like "in other
wikis"
- My MW is localized as Czech (CS) and so when I add [[cs:something]]
interwiki to an article, it is hiding it from in other languages box. I would like to switch off this language filtering.
Does anybody know how to solve point 1) or 2)?
(MW 1.7.1)
Thanks in advance
Jakub _______________________________________________ MediaWiki-l mailing list MediaWiki-l@Wikimedia.org http://mail.wikipedia.org/mailman/listinfo/mediawiki-l
Add other "wikis" to Names.php and interwiki table. Then edit MediaWiki:Otherlanguages to whatever you want.
Dear Wiki users,
I've installed a wiki version 1.9 with default language german. I tried to switsch the default language to english. Therefor I changed the $wgLanguageCode = "de"; to $wgLanguageCode = "en"; in both of my LocalSettings.php files which I found in my main mediawiki directory and my mediawiki/config directory. This didn't have any effect on my mediawiki page since it still seems to have german as default language.
Are there any other settings which I have to change ?
Best regards and thanks in advance,
Daniel Wetzler
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
Daniel Wetzler wrote:
I've installed a wiki version 1.9 with default language german. I tried to switsch the default language to english. Therefor I changed the $wgLanguageCode = "de"; to $wgLanguageCode = "en"; in both of my LocalSettings.php files which I found in my main mediawiki directory and my mediawiki/config directory. This didn't have any effect on my mediawiki page since it still seems to have german as default language.
a) check cache issues b) check your user preferences
- -- brion vibber (brion @ pobox.com / brion @ wikimedia.org)
Hello,
if in an extension some user preferences should be safed, where would be the best place?
One could alter user.user_options, but I do not think this is a good idea, as the standard would be messed up.
I proprose a new standard table to be delivered with MediaWiki for this purpose.
Table: extensiondata
Fields: extension name user_id data (blob)
Thus there would be a standard table for all extension data, which is easier to maintain.
What do you think?
Gunter
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
Gunter wrote:
Hello,
if in an extension some user preferences should be safed, where would be the best place?
In the user options; use $wgUser->getOption() etc and hook into the preferences form.
- -- brion vibber (brion @ pobox.com / brion @ wikimedia.org)
On 2/13/07, Brion Vibber brion@pobox.com wrote:
Gunter wrote:
if in an extension some user preferences should be safed, where would be the best place?
In the user options; use $wgUser->getOption() etc and hook into the preferences form.
Where could one find a reference or examples for extending the user preferences page for this? I'm sure I had seen something in the past but am having a very hard time relocating it.
Dan
On 4/24/07, Dan Davis hokie99cpe+wiki@gmail.com wrote:
On 2/13/07, Brion Vibber brion@pobox.com wrote:
Gunter wrote:
if in an extension some user preferences should be safed, where would
be
the best place?
In the user options; use $wgUser->getOption() etc and hook into the preferences form.
Where could one find a reference or examples for extending the user preferences page for this? I'm sure I had seen something in the past but am having a very hard time relocating it.
I figured out how to use the UserToggles hook. All is right in the world... at least where my custom preferences are concerned.
Dan
mediawiki-l@lists.wikimedia.org