hey
this was ignored multiple times on IRC, so i hope i have more luck here. i am not sure who has enough rights to do this, so sorry, if this is spam for you. i'd like to add linked footnotes into print_wiki.c which use a mediawiki extension (the one you probably know from wikipedia): http://www.mediawiki.org/wiki/Extension:Cite
usage docs: http://meta.wikimedia.org/wiki/Help:Footnotes
right now we just print superscript numbers without links to the real notes below the tables. i could hack those in manually too, but i think the extension is probably a better idea?
Hi Stefan
* Stefan Tauner stefan.tauner@student.tuwien.ac.at [110726 18:27]:
i'd like to add linked footnotes into print_wiki.c which use a mediawiki extension (the one you probably know from wikipedia): http://www.mediawiki.org/wiki/Extension:Cite
I tried installing this extension for flashrom's mediawiki 1.17.0 instance and it causes the Wiki to stop working with "database errors".
Do you know of a version that works with 1.17.0?
-
Stefan Reinauer -
Stefan Tauner