Difference between revisions of "Information Technology"
m |
m |
||
Line 8: | Line 8: | ||
[[Project planning tool evaluations]] | [[Project planning tool evaluations]] | ||
− | + | =Widgets= | |
Widgets are super cool and easy to use and help us to embed things that would have taken annoying html to do. The widgets that are installed and how to use them are located [[Widgets|here]]. | Widgets are super cool and easy to use and help us to embed things that would have taken annoying html to do. The widgets that are installed and how to use them are located [[Widgets|here]]. | ||
− | + | =New Users= | |
− | + | ==How to get a new account== | |
Contact ericliu121@yahoo.com with you email and full name (first, middle, last) to get an account. | Contact ericliu121@yahoo.com with you email and full name (first, middle, last) to get an account. | ||
− | + | ==How to make a new account== | |
If you are a bureaucrat, you can make accounts | If you are a bureaucrat, you can make accounts | ||
# Click on Admin links in the top right corner | # Click on Admin links in the top right corner | ||
Line 28: | Line 28: | ||
# Fill in a reason if you want to | # Fill in a reason if you want to | ||
# Click "Create another account" | # Click "Create another account" | ||
+ | |||
+ | =New Extensions= | ||
+ | ==General instructions== | ||
+ | |||
+ | To add a MediaWiki extension: | ||
+ | |||
+ | #Get whatever you need permissions to change files on the carlmontrobotics.org shared host. Whichever mentor is acting as the webmaster (currently Charles Shanefelter) should be able to set you with the necessary permissions. | ||
+ | #Find the extension you want to install. Try Googling "WikiMedia Extension <var>something</var>", or search the [https://www.mediawiki.org/wiki/Category:All_extensions MediaWiki site]. | ||
+ | #Follow the instructions for the version of the extension that is compatible with [[Special:Version|the versions of MediaWiki, PHP, and MySQL that this wiki is using]]. This will typically required that you: | ||
+ | ##Copy the extension's folder under <code>~/public_html/wiki/extensions</code> | ||
+ | ##Edit <code>~/public_html/wiki/LocalSettings.php</code> to load and configure the extension. | ||
+ | |||
+ | |||
+ | ==Details for currently installed extensions== | ||
+ | |||
+ | ===[https://www.mediawiki.org/wiki/Extension:VisualEditor VisualEditor] for What You See Is What You Get Editing=== | ||
+ | |||
+ | Download and extract correct version under <code>~/public_html/wiki/extensions:</code> | ||
+ | <pre>cd ~/public_html/wiki/extensions | ||
+ | wget https://www.mywikis.com/assets/VisualEditor-REL1_26-34a21d8.tar.gz | ||
+ | tar zxvf [https://www.mywikis.com/assets/VisualEditor-REL1_26-34a21d8.tar.gz VisualEditor-REL1_26-34a21d8.tar.gz]</pre>VisualEditor requires a separate Parsoid service to convert between wikitext and HTML. You can install it on a separate server, or just purchase [https://www.mywikis.com/hostedparsoid hosted Parsoid service for $1/month] (it might take a few days to get started up). | ||
+ | |||
+ | Add this to <code>~/public_html/wiki/LocalSettings.php</code>:<pre>### Hosted Parsoid at mywikis.com for VisualEditor<br> | ||
+ | require_once "$IP/extensions/VisualEditor/VisualEditor.php";<br> | ||
+ | <br> | ||
+ | // Enable by default for everybody<br> | ||
+ | $wgDefaultUserOptions['visualeditor-enable'] = 1;<br> | ||
+ | <br> | ||
+ | // Optional: Set VisualEditor as the default for anonymous users<br> | ||
+ | // otherwise they will have to switch to VE<br> | ||
+ | // $wgDefaultUserOptions['visualeditor-editor'] = "visualeditor";<br> | ||
+ | <br> | ||
+ | // Don't allow users to disable it<br> | ||
+ | #$wgHiddenPrefs[] = 'visualeditor-enable';<br> | ||
+ | <br> | ||
+ | // OPTIONAL: Enable VisualEditor's experimental code features<br> | ||
+ | #$wgDefaultUserOptions['visualeditor-enable-experimental'] = 1;<br> | ||
+ | <br> | ||
+ | $wgVirtualRestConfig['modules']['parsoid'] = array (<br> | ||
+ | 'url' => 'http://server2.mywikis.net:8000',<br> | ||
+ | 'domain' => 'wiki.carlmontrobotics.org',<br> | ||
+ | );</pre> | ||
+ | ===[https://www.mediawiki.org/wiki/Extension:Widgets Widgets] for embedding arbitrary HTML=== | ||
+ | |||
+ | Follow the [https://www.mediawiki.org/wiki/Extension:Widgets#Installing_using_Git installation] and [https://www.mediawiki.org/wiki/Extension:Widgets#Configuration configuration] instructions (I used the Git installation method). | ||
+ | |||
+ | Use the links on [http://wiki.carlmontrobotics.org/index.php?title=Special:PrefixIndex&prefix=&namespace=274 the list of currently installed widgets] to see how to use them. | ||
+ | |||
+ | To find and install new widgets, see the [http://www.mediawikiwidgets.org/Widgets_Catalog MediaWikiWidgets.org] site. You will need admin or Widget authoring permission to do that. | ||
+ | |||
+ | ===[https://www.mediawiki.org/wiki/Extension:SyntaxHighlight SyntaxHighlight] for syntax highlighting of source code=== | ||
+ | |||
+ | This comes with our version of MediaWiki. I just needed to do 2 things: | ||
+ | |||
+ | # Load the extension by adding <syntaxhighlight lang="php" inline="">wfLoadExtension( 'SyntaxHighlight_GeSHi' );</syntaxhighlight> to <code>~/public_html/wiki/LocalSettings.php</code>. | ||
+ | # Make <code>pygmentize</code> executable by running <syntaxhighlight lang="sh" inline="">chmod a+x ~/public_html/wiki/extensions/SyntaxHighlight_GeSHi/pygments/pygmentize</syntaxhighlight>. |
Revision as of 22:35, 13 December 2016
Task tracking tool evaluations
Project planning tool evaluations
Contents
Widgets
Widgets are super cool and easy to use and help us to embed things that would have taken annoying html to do. The widgets that are installed and how to use them are located here.
New Users
How to get a new account
Contact ericliu121@yahoo.com with you email and full name (first, middle, last) to get an account.
How to make a new account
If you are a bureaucrat, you can make accounts
- Click on Admin links in the top right corner
- Under Users, click on Create a user
- Username should be in the format of "Capital First Initial" + "Capitalized Last Name
- For example, if your name is John Albert Smith, your wiki username should be JSmith
- If the username exists already, use put in the "Capital Middle Initial" so John Albert Smith would become JASmith
- If the username still exists, change to the format of JohnASmith and if by some act of god it still exists, use JohnAlbertSmith
- Check the box "Use a temporary random password and send it to the specified email address" and enter in the email given
- Put their real name in the real name box
- Do not put their middle name in here
- Fill in a reason if you want to
- Click "Create another account"
New Extensions
General instructions
To add a MediaWiki extension:
- Get whatever you need permissions to change files on the carlmontrobotics.org shared host. Whichever mentor is acting as the webmaster (currently Charles Shanefelter) should be able to set you with the necessary permissions.
- Find the extension you want to install. Try Googling "WikiMedia Extension something", or search the MediaWiki site.
- Follow the instructions for the version of the extension that is compatible with the versions of MediaWiki, PHP, and MySQL that this wiki is using. This will typically required that you:
- Copy the extension's folder under
~/public_html/wiki/extensions
- Edit
~/public_html/wiki/LocalSettings.php
to load and configure the extension.
- Copy the extension's folder under
Details for currently installed extensions
VisualEditor for What You See Is What You Get Editing
Download and extract correct version under ~/public_html/wiki/extensions:
cd ~/public_html/wiki/extensions wget https://www.mywikis.com/assets/VisualEditor-REL1_26-34a21d8.tar.gz tar zxvf [https://www.mywikis.com/assets/VisualEditor-REL1_26-34a21d8.tar.gz VisualEditor-REL1_26-34a21d8.tar.gz]VisualEditor requires a separate Parsoid service to convert between wikitext and HTML. You can install it on a separate server, or just purchase hosted Parsoid service for $1/month (it might take a few days to get started up). Add this to
~/public_html/wiki/LocalSettings.php
:### Hosted Parsoid at mywikis.com for VisualEditor<br> require_once "$IP/extensions/VisualEditor/VisualEditor.php";<br> <br> // Enable by default for everybody<br> $wgDefaultUserOptions['visualeditor-enable'] = 1;<br> <br> // Optional: Set VisualEditor as the default for anonymous users<br> // otherwise they will have to switch to VE<br> // $wgDefaultUserOptions['visualeditor-editor'] = "visualeditor";<br> <br> // Don't allow users to disable it<br> #$wgHiddenPrefs[] = 'visualeditor-enable';<br> <br> // OPTIONAL: Enable VisualEditor's experimental code features<br> #$wgDefaultUserOptions['visualeditor-enable-experimental'] = 1;<br> <br> $wgVirtualRestConfig['modules']['parsoid'] = array (<br> 'url' => 'http://server2.mywikis.net:8000',<br> 'domain' => 'wiki.carlmontrobotics.org',<br> );
Widgets for embedding arbitrary HTML
Follow the installation and configuration instructions (I used the Git installation method).
Use the links on the list of currently installed widgets to see how to use them.
To find and install new widgets, see the MediaWikiWidgets.org site. You will need admin or Widget authoring permission to do that.
SyntaxHighlight for syntax highlighting of source code
This comes with our version of MediaWiki. I just needed to do 2 things:
- Load the extension by adding
wfLoadExtension( 'SyntaxHighlight_GeSHi' );
to~/public_html/wiki/LocalSettings.php
. - Make
pygmentize
executable by runningchmod a+x ~/public_html/wiki/extensions/SyntaxHighlight_GeSHi/pygments/pygmentize
.