Village Pump:Home/Syntax Highlighting ( archived 2009-06-18 ): Difference between revisions
Village Pump:Home/Syntax Highlighting ( archived 2009-06-18 ) (view source)
Revision as of 08:11, 11 February 2009
, 15 years ago→Code tag change: one last change.
(→OCaml comments: fixed.) |
(→Code tag change: one last change.) |
||
Line 59:
: This is going to require a massive site-wide effort for all supported languages. See [[Help:GeSHi]] for details. As soon as we're confident most of the pages have been handled, I'll disable support for <nowiki><lang></nowiki> entirely. --[[User:Short Circuit|Short Circuit]] 02:33, 23 January 2009 (UTC)
:: When the <nowiki><lang></nowiki> tags are removed, [[Special:Version]] will not any more list all the languages in the tags section, right? Maybe there should be a (perhaps auto-generated) page listing all supported languages (or maybe it's even possible to include them in [[Special:Version]] as separate section). Or maybe there's already such a list somewhere, which I simply didn't notice? --[[User:Ce|Ce]] 08:18, 23 January 2009 (UTC)
::: We are now only using <nowiki><lang cpp></nowiki> tags, where "cpp" is replaced by the language ID in question. Additionally, all language IDs are now case-insensitive, so <nowiki><lang C></nowiki> works the same as <nowiki><lang c></nowiki>. This is a Good Thing, because the supported case was originally determined by the case of the language file name. And those were all lower case... --[[User:Short Circuit|Short Circuit]] 08:11, 11 February 2009 (UTC)
:::You mean [[Help:GeSHi#Supported_source_tags|this]]? --[[User:Mwn3d|Mwn3d]] 13:27, 23 January 2009 (UTC)
::: Another problem I just noticed: The old meaning of <nowiki><tt>text</tt></nowiki> is now changed (it now creates a div block instead of inline text). Those tags might have been used already in this wiki. Maybe it would have been a better idea to use a tag which didn't yet have a meaning (say, <nowiki><source></nowiki>). I'm not sure whether it's a good idea to change the GeSHi tag now, or to find and change all previous usages of <nowiki><code></nowiki> instead. --[[User:Ce|Ce]] 08:50, 23 January 2009 (UTC)
| |||