Jan wrote:

I guess, you mean this wiki: http://shadowrun.fr/wiki/Special:Version

Yup

It really seems to be 1.8-version, because it supports AJAX ;) Did you get the files from SVN?

Yup, I still have the .svn folder, so I may check with those (but I don't know where the rev numbers are in them). It's possible I followed an outdated guide and selected a wrong revision.

Is there another way to be sure? A text file somewhere, with the version number, or something?

I tried going into includes/EditPage.php and added a style to textarea and that didn't work. I would also like to know.

Wayne

-----Original Message----- From: mediawiki-l-bounces@Wikimedia.org [mailto:mediawiki-l-bounces@Wikimedia.org] On Behalf Of Mauro do Carmo Sent: Thursday, December 21, 2006 11:19 AM To: 'MediaWiki announcements and site admin list' Subject: [Mediawiki-l] wikipedia & Times New Roman

Hi all,

If I want to write in a different font like Times New Roman in the articles of wikipedia, how should I do?

Thanks a lot, mauro.

On 21/12/06, Wayne Marsh wayne.marsh@aldatasoftware.com wrote:

I tried going into includes/EditPage.php and added a style to textarea and that didn't work. I would also like to know.

To change the font on your own wiki, edit MediaWiki:Common.css and override the CSS settings there.

Rob Church

I added the rule textarea{font:x-small "Comic Sans MS";} to skins/common/common.css and that didn't change the font. To get the font to change I went back into EditPage.php to make sure I didn't miss something and added that same rule to ever textarea, might as well make it uniform... Anyway, do you have a better suggestion as to how I can do it cause I also tried based on the textarea ID and that't didn't work either.

-----Original Message----- From: mediawiki-l-bounces@Wikimedia.org [mailto:mediawiki-l-bounces@Wikimedia.org] On Behalf Of Rob Church Sent: Thursday, December 21, 2006 12:01 PM To: MediaWiki announcements and site admin list Subject: Re: [Mediawiki-l] wikipedia & Times New Roman

On 21/12/06, Wayne Marsh wayne.marsh@aldatasoftware.com wrote:

I tried going into includes/EditPage.php and added a style to textarea and that didn't work. I would also like to know.

To change the font on your own wiki, edit MediaWiki:Common.css and override the CSS settings there.

Rob Church _______________________________________________ MediaWiki-l mailing list MediaWiki-l@Wikimedia.org http://mail.wikipedia.org/mailman/listinfo/mediawiki-l

Wayne

Thanks, I don't know why I thought css file. I've been using hard refresh due to media wiki's caching features, or wahtever, since I started editing files. Also, to change the main font throughout the page all you have to do is edit skins/skinname/main.css, in my case skins/monobook/main.css. All I did was add/change the font rule in the body tag about 4 style elements down.

I thought it was about the textarea font because he said he wanted to "write articles." My bad.

Hard refresh = shift+reload_button in firefox/netscape...and ctrl+f5 in ie/opera?

I'm gona go undo my changes and put them into that special page you mentioned. Maybe that's why I couldn't find my rule after I saved it the first time...

Does it auto reinstate the css file when you are using mediawiki?

-----Original Message----- From: mediawiki-l-bounces@Wikimedia.org [mailto:mediawiki-l-bounces@Wikimedia.org] On Behalf Of Rob Church Sent: Thursday, December 21, 2006 12:28 PM To: MediaWiki announcements and site admin list Subject: Re: [Mediawiki-l] wikipedia & Times New Roman

On 21/12/06, Wayne Marsh wayne.marsh@aldatasoftware.com wrote:

I added the rule textarea{font:x-small "Comic Sans MS";} to skins/common/common.css and that didn't change the font. To get the font to change I went back into EditPage.php to make sure I didn't miss something and added that same rule to ever textarea, might as well make it uniform... Anyway, do you have a better suggestion as to how

I

can do it cause I also tried based on the textarea ID and that't didn't

work

either.

1. The original message was about the display font, not the font used in the text box itself; changing the latter will not change the former, and vice-versa.

2. Caches? You need to hard-refresh after editing CSS files to make sure the browser fetches a fresh version.

3. I said MediaWiki:Common.css, which is a page on the wiki that is used to override CSS for all skins (in newer versions of the software); I didn't mean an actual file.

Rob Church _______________________________________________ MediaWiki-l mailing list MediaWiki-l@Wikimedia.org http://mail.wikipedia.org/mailman/listinfo/mediawiki-l

Rob Church wrote:

Special:Version takes the version number from $wgVersion, which is set in DefaultSettings.php and should never be changed, but if it boils down to having mixed-up files, then all this guarantees is that that version of DefaultSettings.php is from a particular release.

Indeed, the file says 1.7.1.

Is there another way to check?

Following the worst case scenario, if I update (probably a svn update) my version to 1.8.2 and run the update php script, will it screw things up if it's not really a 1.7.1?

Sorry for the dumb questions :-/

On 25/12/06, Jan 2036@gmx.de wrote:

When using SVN, where is the revision-number stored?

Special:Version pulls it out of the metadata files which come with a checkout - see the hidden ".svn" directories in the working copy you have.

My 1.9 alpha is r18584, but Special:Version displays r18120.

I'm not sure why that might be - I can only suggest that "something funky" happened and your checkout isn't entirely at the same revision?

How to update Special:Version? "php update.php" doesnt work.

You can't, it's programmatic.

Rob Church