MediaWiki: Difference between revisions
No edit summary |
|||
| Line 1: | Line 1: | ||
==Installation== | ==Installation== | ||
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
- Go to Wikipedia's Special:Export
- Type in the page you want.
Template:Key press Template:Key press/doc
- Check include templates and download the file
- Go to your wiki's Special:Import
- 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.