mNo edit summary |
m (→Extensions) |
||
Line 3: | Line 3: | ||
=== Extensions === | === Extensions === | ||
* Vieleicht noch ein Audio player (ogg/mp3)? ~~max | * Vieleicht noch ein Audio player (ogg/mp3)? ~~max | ||
* fix pre Bug and reenable catSelector | * fix [http://www.mediawiki.org/wiki/Extension:SelectCategory#Bugs_.26_Feature_Requests pre Bug] and reenable catSelector: | ||
<source lang="php">// In SelectCategoryFunctions.php (line 233, in function fnSelectCategoryGetPageCategories) | |||
$m_cleanText .= trim(preg_replace( "/{$m_pattern}/i", "", $m_textLine )) . "\n"; | |||
// Change to: | |||
$m_cleanText .= preg_replace( "/{$m_pattern}/i", "", $m_textLine ) . "\n"; | |||
</source> | |||
=== Custom-Extensions === | === Custom-Extensions === |
Revision as of 17:24, 1 December 2009
Wiki To Do
Extensions
- Vieleicht noch ein Audio player (ogg/mp3)? ~~max
- fix pre Bug and reenable catSelector:
// In SelectCategoryFunctions.php (line 233, in function fnSelectCategoryGetPageCategories)
$m_cleanText .= trim(preg_replace( "/{$m_pattern}/i", "", $m_textLine )) . "\n";
// Change to:
$m_cleanText .= preg_replace( "/{$m_pattern}/i", "", $m_textLine ) . "\n";
Custom-Extensions
- Studentische Arbeitsplattform
- Skript, das erfasste Arbeiten (z.B. unter einer Kategorie) zusammenfasst und als HTML-Snippet ausgibt, s. URI-Booklet-Script
- evtl. Template-Entwicklung, damit bestimmte notwendige Category-Tags bereits enthalten sind.
Skins
- TOC-Box move- & dockable? (COOL: drag-drop-resize-div
- Sidebar vielleicht auch ein-/ausklappen?
- iPhone Skin
- GMU Skin mal umstellen?
- Abschnitt "edit" ist hässlich; anders formatieren ("Edit") oder m. Icon
- Add $wgAllowExternalImages = true for external images
- add more link icons: Linktest
- add "weitergeleitet von -"
Datenbank
- Change User Prefs:
- Get & Set Wiki-Language from Browser
- Change included Namespaces in Search Prefs for existing Users
- Change default Skin Pref for existing Users
Sonstiges
- Die Server Uhrzeit stimmt nicht (2 stunden in der zukunft) auch wenn man die richtige Zeitzone in den Einstellungen wählt. // An Herrn Eismann gemeldet, hier muss die UTC Serverzeit korrigiert werden --Michael 16:24, 1 December 2009 (UTC)
Merkzettel
- bis 4/2010 GNM Plakatkunst