287662 - Get new Cavendish MediaWiki skin into CVS

Status: RESOLVED FIXED

(mozilla.org Graveyard :: Server Operations, task, P1)

Description

[Dave Miller [:justdave]]

For revision control purposes and also ease of deployment of updated versions,
we'd like to get the Cavendish MediaWiki skin put in CVS.  Where in CVS to put
it is a good question.  Since this is technically one of our websites, it makes
sense to put it on cvs-www.

Brendan says:
"mozilla-org/wiki ?  Is there a convention for MediaWiki skin source top-level
naming?"

I'm not sure if there's a convention, and haven't had a chance to look yet.

Comment 1

[Dave Miller [:justdave]]

I need to get this in as part of the upgrades, because it's getting to be hell
for me to be able to maintain this, and I need to be able to let other people
tweak it so I don't have to. :)

Comment 2

[Brendan Eich [:brendan]]

Dave: who needs to do what to help you here?

/be

Comment 3

[Dave Miller [:justdave]]

(In reply to comment #2)
> Dave: who needs to do what to help you here?

nobody needs to help me for this bug, I just need to do it.  But fixing this bug
will let other people help me with other bugs about the wikis :)

Comment 4

[Dave Miller [:justdave]]

Done.  It's at mozilla-org/wiki/skins/cavendish

The Cavendish.php file is inside the cavendish directory instead of in the skins
directory because skins is shared with a bunch of stuff in the live install, and
that way I can check out from CVS directly to the live install and have it work.
 I placed a symlink to cavendish/Cavendish.php in the skins directory.

So now we can create patches and check them into cvs for wiki style fixes.

Also worth pointing out (it's been pointed out on another wiki bug) is we can
also add style elements that are unique to the particular wiki in
MediaWiki:Cavendish.css in the wiki itself (place a stylesheet in the wiki
source at that location).  So what's in CVS should wind up being a generic skin,
which includes nothing site-specific within the css (but can contain image files
for all the public sites).  The code which identifies the header banner should
be moved into the wiki-specific page mentioned above.