MediaWiki
Installation
See mediawiki for instructions on deployment.
I have a container image with my preferred extensions at https://github.com/dli7319/docker-mediawiki.
To update, bump your image 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.