MediaWiki: Difference between revisions

From David's Wiki
No edit summary
Line 1: Line 1:
==Installation==
==Installation==
[https://gist.github.com/dli7319/e3504598d548e518c1249e7faf255e28 My Dockerfile] for building a Mediawiki image with selected extensions.<br>
See [https://hub.docker.com/_/mediawiki mediawiki] for instructions on deployment.
See [https://hub.docker.com/_/mediawiki mediawiki] for instructions on deployment.
To update, bump your docker version and then in your container run:
<pre>
php maintenance/run.php update
</pre>


==Wikitext==
==Wikitext==

Revision as of 00:34, 31 December 2023

Installation

See mediawiki for instructions on deployment.

To update, bump your docker version and then in your container run:

php maintenance/run.php update

Wikitext

Wikitext is the markup language for Mediawiki pages.

Import/Export

Importing Individual Pages From Wikipedia

Mediawikiwiki: Manual:Importing_Wikipedia_infoboxes_tutorial

  1. Go to Wikipedia's Special:Export
  2. Type in the page you want.
    Template:Key press
    Template:Key press/doc
  3. Check include templates and download the file
  4. Go to your wiki's Special:Import
  5. Import the file.

Restricting Access

See https://www.mediawiki.org/wiki/Category:Page_specific_user_rights_extensions.
I use the Lockdown extension.

TODO

  • Find a way to insert text files into mediawiki (either via upload or as text).
    • These should be downloadable with a link.
    • Bonus if we can get syntax highlighting for code and if WebGL shaders can be made runnable.

Writing Extensions

PHP Hooks

See Mediawikiwiki:Manual:Hooks

ParserAfterTidy

  • This is only called for new sections of pages, not necessarily the entire page.

JS Hooks

See mw.hook documentation