[Bf-committers] Wiki pygments throwing exceptions

[Dan McGrath]

Hi,

Just a heads up that there was some progress made with GeSHi syntax
highlighting today for the wiki.

Originally we were using a system wide pygmentize, due to not having php
composer installed (or aware of what it did, even!). Now, I have switched
to the proper upstream pygmentize, ran the updates from it to pull down its
dependencies, and try use that.

At first it we still spitting out some broken pages, but these were clearly
just cached pages. I have since purged the memcached and all of the past
broken pages that I noticed appear to work now. So I guess try using proper
<source lang=...> syntax again on the wiki, but let me know if you run into
any broken pages so that we can ensure that the problem was related to the
system installed pygmentize without full dependencies, being the problem.


Dan

On Sun, Jun 17, 2018 at 10:48 AM Dan McGrath <danmcgrath.ca at gmail.com>
wrote:

> Hi,
>
> Just a heads up that I noticed that a small handful of pages were throwing
> MW exceptions on the wiki when using syntax highlighting. An example is:
>
>   https://wiki.blender.org/wiki/Tools/Git
>
> If you edit this page and change the very first <source lang="sh"> back to
> <source lang="bash">, it will throw an exception in the GeSHI syntax
> highlight extension, which uses pygmentize. I don't know much more than
> this, so if you see an MW exception when trying to view a page, I would
> suggest to try change some/all of the lang's from bash to sh for now.
>
> On a side note, I have noticed that there are no redirects for the now
> removed namespaces (eg: Dev:Doc) where some old pages used to reside, but
> have been moved. I believe the proper way to migrate such pages is to put
> it in the original place (Dev:Doc/Foobar) and then move it to the new
> location (/Foobar), so that a redirect is placed for people using the old
> URLs. See https://www.mediawiki.org/wiki/Help:Redirects for more info.
> Long story short: if you moved a page from the old wiki, visiting the same
> wiki.blender.org URL that it used to be should at least take you right
> back to the old location.
>
>
> Dan
>