Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Installation lacks some useful extensions #4

Open
JayFoxRox opened this issue Jun 29, 2018 · 4 comments
Open

Installation lacks some useful extensions #4

JayFoxRox opened this issue Jun 29, 2018 · 4 comments

Comments

@JayFoxRox
Copy link
Member

@JayFoxRox JayFoxRox changed the title Mediawiki is outdated lacks useful extensions Mediawiki is outdated and lacks useful extensions Jun 29, 2018
@Grovespaz
Copy link

We're adding documentation for every kernel export at the moment and we're sorely missing two plugins:

  • A syntax highlighting plugin (for the syntax blocks)
  • Scribunto (for easy infobox templates)

It would be preferable to get these installed sooner than later as that would mean we don't have to rework all those pages once the plugins do get installed.

@JayFoxRox
Copy link
Member Author

Also requesting https://www.mediawiki.org/wiki/Extension:Cite as adding sources is currently pretty annoying and almost nobody does it properly.

@JayFoxRox
Copy link
Member Author

@Grovespaz I'm not sure how I feel about Scribunto to be honest. Can you give a concrete example how / why you'd use it? lua feels a bit too powerful (possible security risk?) and kind of out of place. Most things we need can probably be done as separate mediawiki plugins (in a more secure and standardized fashion).

@JayFoxRox JayFoxRox transferred this issue from XboxDev/XboxDev Apr 17, 2020
@espes
Copy link
Collaborator

espes commented Apr 19, 2020

I enabled the Cite, ImageMap and SyntaxHighlight extensions. Let me know if there are any problems.

@JayFoxRox JayFoxRox changed the title Mediawiki is outdated and lacks useful extensions Mediawiki lacks useful extensions May 21, 2020
@JayFoxRox JayFoxRox changed the title Mediawiki lacks useful extensions Installation lacks some useful extensions May 21, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

No branches or pull requests

3 participants