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.
--
X windows: Built to take on the world... and lose!