2,732
edits
FlightGear wiki:Village pump/Archive 2014: Difference between revisions
Jump to navigation
Jump to search
FlightGear wiki:Village pump/Archive 2014 (view source)
Revision as of 16:20, 6 March 2016
, 6 March 2016Update mw links to use Template:Mediawiki
m (Protected "FlightGear wiki:Village pump/Archive 2014": Write protecting archived villige pump discussions ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite))) |
Red Leader (talk | contribs) (Update mw links to use Template:Mediawiki) |
||
| Line 3: | Line 3: | ||
== MediaWiki updated to 1.22.0 == | == MediaWiki updated to 1.22.0 == | ||
I've updated MediaWiki to the latest stable, 1.22.0 today. Please report bugs if you find any. For a list of changes, see | I've updated MediaWiki to the latest stable, 1.22.0 today. Please report bugs if you find any. For a list of changes, see {{mediawiki|Release notes/1.22}} | ||
[[User:Gijs|Gijs]] ([[User talk:Gijs|talk]]) 15:00, 26 December 2013 (UTC) | [[User:Gijs|Gijs]] ([[User talk:Gijs|talk]]) 15:00, 26 December 2013 (UTC) | ||
| Line 99: | Line 99: | ||
::''Slightly off topic'' is that I would like to see a section in the change log mentioning changes that will break backwards compatibility. I first saw such a section, "Breaking changes", in the | ::''Slightly off topic'' is that I would like to see a section in the change log mentioning changes that will break backwards compatibility. I first saw such a section, "Breaking changes", in the {{mediawiki|Release notes/1.22|change log of MedeiaWiki 1.22|oldid=848518}} when the software of this wiki was updated, and figured it would be a good idea. This could be useful for things like for example figuring out whether FlightGear x.x can use World Scenery y.y. | ||
::''Even more off topic'' I think that the wiki/newsletter/devel list/etc are rather blunt tools for keeping an up to date change log. My gut feeling is that there are tools for that around, and even if we do not use them we might borrow some ideas from them, hopefully without bringing a lot of red tape(!). | ::''Even more off topic'' I think that the wiki/newsletter/devel list/etc are rather blunt tools for keeping an up to date change log. My gut feeling is that there are tools for that around, and even if we do not use them we might borrow some ideas from them, hopefully without bringing a lot of red tape(!). | ||
| Line 134: | Line 134: | ||
== Bash and DOS syntax highlighting == | == Bash and DOS syntax highlighting == | ||
[[User:Daemonburrito|Daemonburrito]] found that we can use syntax highlighting for Bash. I guess that means that we could use syntax highlighting for most Linux (and possibly also Mac) command lines. Looking at | [[User:Daemonburrito|Daemonburrito]] found that we can use syntax highlighting for Bash. I guess that means that we could use syntax highlighting for most Linux (and possibly also Mac) command lines. Looking at {{mediawiki|Extension:SyntaxHighlight GeSHi}} I find that we also also probably can use that for DOS prompts. | ||
—[[User:Johan G|Johan G]] ([[User_talk:Johan_G|Talk]] | [[Special:Contributions/Johan_G|contribs]]) 07:24, 5 May 2014 (UTC) | —[[User:Johan G|Johan G]] ([[User_talk:Johan_G|Talk]] | [[Special:Contributions/Johan_G|contribs]]) 07:24, 5 May 2014 (UTC) | ||
: We've had that extension installed for a while now. Everything that's listed at | : We've had that extension installed for a while now. Everything that's listed at {{mediawiki|Extension:SyntaxHighlight GeSHi#Supported languages}} is supported, plus Nasal. | ||
: [[User:Gijs|Gijs]] ([[User talk:Gijs|talk]]) 11:23, 5 May 2014 (UTC) | : [[User:Gijs|Gijs]] ([[User talk:Gijs|talk]]) 11:23, 5 May 2014 (UTC) | ||
| Line 283: | Line 283: | ||
I think, at some point, I saw someone editing JavaScript files here (Johan_G or Gijs probably) - what is involved to do that ? Any links/pointers ? Okay, found something at [[MediaWiki:Common.js]] Is it also possible to create custom JS/plain text files without any wiki markup ? Are my privileges even sufficient ? --[[User:Hooray|Hooray]] ([[User talk:Hooray|talk]]) 21:11, 2 June 2014 (UTC) | I think, at some point, I saw someone editing JavaScript files here (Johan_G or Gijs probably) - what is involved to do that ? Any links/pointers ? Okay, found something at [[MediaWiki:Common.js]] Is it also possible to create custom JS/plain text files without any wiki markup ? Are my privileges even sufficient ? --[[User:Hooray|Hooray]] ([[User talk:Hooray|talk]]) 21:11, 2 June 2014 (UTC) | ||
: Nope, was not me. Javascript files is as far as I know currently limited to [[MediaWiki:Common.js]]. It is apparently possible to change some settings so that one can add "user javascript pages" (as well as "user Cascading Style Sheets"), see the WikiMedia Wiki pages | : Nope, was not me. Javascript files is as far as I know currently limited to [[MediaWiki:Common.js]]. It is apparently possible to change some settings so that one can add "user javascript pages" (as well as "user Cascading Style Sheets"), see the WikiMedia Wiki pages {{mediawiki|Manual:$wgAllowUserJs}} (and {{mediawiki|Manual:$wgAllowUserCss}}). | ||
: Both can be useful for testing stuff before including them in the "common" (i.e. site wide) files, as well as for personalizing the look, feel and functionality. I do not know what issues they could cause or if we have the permissions to change it. Maybe Simon and Gijs are the ones who can do it. | : Both can be useful for testing stuff before including them in the "common" (i.e. site wide) files, as well as for personalizing the look, feel and functionality. I do not know what issues they could cause or if we have the permissions to change it. Maybe Simon and Gijs are the ones who can do it. | ||
| Line 291: | Line 291: | ||
== MediaWiki updated to 1.23.0 == | == MediaWiki updated to 1.23.0 == | ||
I've updated MediaWiki to the latest stable release (1.23.0) today. I'm now updating all extensions, so some things may be broken temporarily. Please report bugs if you find any. For a list of changes, see | I've updated MediaWiki to the latest stable release (1.23.0) today. I'm now updating all extensions, so some things may be broken temporarily. Please report bugs if you find any. For a list of changes, see {{mediawiki|Release notes/1.23}} | ||
[[User:Gijs|Gijs]] ([[User talk:Gijs|talk]]) 12:04, 8 June 2014 (UTC) | [[User:Gijs|Gijs]] ([[User talk:Gijs|talk]]) 12:04, 8 June 2014 (UTC) | ||