Difference between revisions of "Local wiki extensions"
From Joomla! Documentation
m (Corrected trivial typo)
m (moved Local wiki extensions to JDOC:Local wiki extensions: Moved page to the JDOC namespace as it discusses the documentation effort)
Revision as of 15:50, 25 November 2011
Extensions are additions to the MediaWiki code that perform special functions.
The GeSHi syntax-highlighter extension has been installed on this wiki. For PHP code use <source lang="php">Your PHP code here</source>.
For HTML code use <source lang="html4strict">Your HTML markup here</source>.
etc. IF you add an invalid lang name, you'll presented with a list of supported "languages".
For example, inserting the following in your wiki page:
<source lang="php"> <?php echo "Hello World\n"; ?> </source>
will result in:
<?php echo "Hello World\n"; ?>
<html lang="en"> <head> <title>Joomla! Documentation</title> <link rel="StyleSheet" href="doccamp.css" type="text/css" media="screen,projection" /> </head> <body class="foo"> ... </body> </html>
References and Footnotes
In your article or tutorial you may want to add external links but they may clutter the text and reduce readability. In order to add a reference enclose the text in a ref element: <ref>your reference entry</ref>. At the end of the page add <references /> to display a list of all ref(erence) entries.
- MediaWiki manual about Footnotes
You found a URL used in an article is broken and want to fix it? No problem, hit edit and make the changes. But what if that URL is also used someplace else or in a whole series or pages? The wiki doesn't provide a global search and replace facility and using the standard search function can be tedious and even unsuccessful. Head over to this Special page, type in the bogus URL and find every article that contains the external link: Special:Linksearch
- Further information can be found here.
- don't take a reference literally: it may well be any URL other than Wikipedia or Webster