On Tue, Jul 15, 2014 at 2:13 PM, Bill Traynor btraynor@gmail.com wrote:
On Tue, Jul 15, 2014 at 2:06 PM, John phoenixoverride@gmail.com wrote:
Why it would create a <syntaxhighlight></syntaxhighlight> that shouldnt break anything
My only issue is that inline <code></code> appears differently from <syntaxhighlight></syntaxhighlight>. Inline <code> tags format the text inline, whereas the <syntaxhighlight> tags create a newline and indent the text with background shading.
See: https://en.wikipedia.org/wiki/User:Wmat/Sandbox
I see what you mean now. The <syntaxhighlight></syntaxhighlight> that replaces the <code></code> tags will continue to present whatever's between the tags the same way. I do have $wgSyntaxHighlightDefaultLang = "c"; though, but this may be OK.
On Tue, Jul 15, 2014 at 2:03 PM, Bill Traynor btraynor@gmail.com wrote:
On Tue, Jul 15, 2014 at 1:45 PM, John phoenixoverride@gmail.com wrote:
Instead of looking for code lang= just search and replace <code with <syntaxhighlight and </code with </syntaxhighlight
This breaks the closing tags when <code></code> tags are being used.
On Tue, Jul 15, 2014 at 1:30 PM, Bill Traynor btraynor@gmail.com
wrote:
I have about 400 pages in a wiki I'm administering that use syntaxhighlighting using the old <code lang="lang">some code here</code> method provided by and extension called CodeSyntaxHighlight.
I'd like to remove the old extension and use SyntaxHighlight_GeSHi going forward. To do this, I need to replace:
<code lang="lang"> with <syntaxhighlight lang="lang"> and </code> with </syntaxhighlight>
Using the ReplaceText extension is one possibility, but I keep ending up with a problem when <code></code> is used, as the closing tag gets replaced and breaks the formatting.
Is there some magic regular expression that can do this? I'm working through these pages manually right now.
Thanks Bill
MediaWiki-l mailing list To unsubscribe, go to: https://lists.wikimedia.org/mailman/listinfo/mediawiki-l
MediaWiki-l mailing list To unsubscribe, go to: https://lists.wikimedia.org/mailman/listinfo/mediawiki-l
MediaWiki-l mailing list To unsubscribe, go to: https://lists.wikimedia.org/mailman/listinfo/mediawiki-l
MediaWiki-l mailing list To unsubscribe, go to: https://lists.wikimedia.org/mailman/listinfo/mediawiki-l