|
|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
|
mediawiki-extensions
| mediawiki-extensions | set of extensions for MediaWiki | | Priority | |
| Section | web |
| Installed size | 84 |
| Maintainer | Mediawiki Maintenance Team <pkg-mediawiki-devel@lists.alioth.debian.org> |
| Architecture | all |
| Version | 0.1 |
| Depends | mediawiki | mediawiki1.7 |
| Suggests | mysql-server |
| File name | pool/main/m/mediawiki-extensions/mediawiki-extensions_0.1_all.deb |
| Description | This package provides a set of useful extensions for MediaWiki: * Cite -- add tags for citation purpose * GeSHi -- add tags for syntax highlighting * Inputbox -- add predefined HTML forms to wiki pages * NewestPages -- show the last pages added to the wiki * Poem -- add tags for poems * SpecialLastUserLogin -- special page to see a user last logins . These extensions are only set together for Debian packages of MediaWiki (>= 1.7). |
|
|
|
Etude RTOS