On Wed, Mar 23, 2005 at 05:51:19PM +0100, Tels wrote:
PS: Is somebody working on a project to make the Mediawiki interface more easily customizable, e.g. removing the logo, adding/renaming menu entries etc by editing a local settings file or even via GUI? The current way in either changing the equivalent of "Special::AllMessages" or hacking the source is not very nice and it breaks with each revision of Mediawiki again - causing me work on updates :)
I think I will do something like that for my site... Because I'm greatly disappointed by the way things are done, but what disappoints me more is that there is _no_ better alternative.
In 1.4.0, as far as I can see, lots of work was done to make customization possible to the maximum extent. Yet I see another couple of shortcomings: I have enabled editing user CSS/JS, and it doesn't work at all (preview shows garbled stuff -- it is based on static version of CSS, and not, say, Mediawiki:Monobook.css (which is used in rendering the site), and after saving there is no effect). Moreover, I have removed my user CSS and cannot get rid of it... It appears from nowhere. Adding new stuff does not work, either. This is both in 1.3.11 and 1.4.0.
If there is another "magic variable" besides $wgAllowUserCSS, it must be documented. Otherwise it is a pain to use.