MediaWiki: Difference between revisions
(5 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
==Installation== | |||
See [https://hub.docker.com/_/mediawiki mediawiki] for instructions on deployment.<br> | |||
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: | |||
<pre> | <pre> | ||
php maintenance/run.php update | |||
/ | |||
</pre> | </pre> | ||
== | ==Wikitext== | ||
{{ main | Wikitext}} | |||
Wikitext is the markup language for Mediawiki pages. | |||
=== | ==Import/Export== | ||
===Importing Individual Pages From Wikipedia=== | |||
[[Mediawikiwiki: Manual:Importing_Wikipedia_infoboxes_tutorial]] | |||
<ol> | <ol> | ||
<li> Go to [https://en.wikipedia.org/wiki/Special:Export Wikipedia's Special:Export]</li> | <li> Go to [https://en.wikipedia.org/wiki/Special:Export Wikipedia's Special:Export]</li> | ||
<li> Type in the | <li> Type in the page you want.<br> | ||
<pre> | <pre> | ||
Template:Key press | Template:Key press | ||
Template:Key press/doc</pre> | Template:Key press/doc</pre></li> | ||
<li> Check include templates and download the file</li> | <li> Check include templates and download the file</li> | ||
<li> Go to your wiki's [https://wiki.davidl.me/view/Special:Import Special:Import]</li> | <li> Go to your wiki's [https://wiki.davidl.me/view/Special:Import Special:Import]</li> | ||
Line 35: | Line 29: | ||
==Restricting Access== | ==Restricting Access== | ||
See [https://www.mediawiki.org/wiki/Category:Page_specific_user_rights_extensions https://www.mediawiki.org/wiki/Category:Page_specific_user_rights_extensions].<br> | |||
I use the Lockdown extension. | |||
See [https://www.mediawiki.org/wiki/Category:Page_specific_user_rights_extensions https://www.mediawiki.org/wiki/Category:Page_specific_user_rights_extensions]<br> | |||
==TODO== | ==TODO== | ||
* Find a way to insert text files into mediawiki (either via upload or as text). | * Find a way to insert text files into mediawiki (either via upload or as text). | ||
** These should be downloadable with a link. | ** These should be downloadable with a link. | ||
** Bonus if | ** Bonus if we can get syntax highlighting for code and if WebGL shaders can be made runnable. | ||
==Writing Extensions== | ==Writing Extensions== |
Latest revision as of 00:34, 31 December 2023
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.