Difference between revisions of "Main Page"
(+ new MP3MediaHandler extension.) |
m (Oops - wrong name for my own extension! D'oh!) |
||
| Line 37: | Line 37: | ||
An extension to allow users to personalise the main page if they choose. | An extension to allow users to personalise the main page if they choose. | ||
|- | |- | ||
| − | | colspan="2" | '''[[ | + | | colspan="2" | '''[[MP3MediaHandler]]''' |
Extension that provides a media-player for in-page playback of .mp3 files (via HTML5 <audio> tag). | Extension that provides a media-player for in-page playback of .mp3 files (via HTML5 <audio> tag). | ||
Revision as of 02:06, 9 February 2016
| WikiDB - A wiki-based database system.
Adds fully-integrated database functionality to your wiki. | |
| Debugging tools
A couple of 'useful' tools for extension developers. At least, I've found them useful... | |
| WikiCalendar - An outlook-style calendar extension.
(Under development, and not yet installed on this wiki) | |
| CrudeProtection
An extension that provides a primitive form of page protection. | |
| BugSquish
An extension that checks your Bugzilla installation and adds a strikethrough to interwiki links for closed bugs. | |
| NonincludableNamespaces
An extension to emulate the functionality of $wgNonincludableNamespaces in earlier versions of MediaWiki. | |
| PersonalisedHomepage
An extension to allow users to personalise the main page if they choose. | |
| MP3MediaHandler
Extension that provides a media-player for in-page playback of .mp3 files (via HTML5 <audio> tag). | |
For full details of the currently installed extensions, and the version of MediaWiki that they are running on, please consult Special:Version.
