12,782
edits
| Line 54: | Line 54: | ||
=== Project specific page banners. === | === Project specific page banners. === | ||
A mediawiki extension that | A mediawiki extension that the adding of project specific banners to wiki pages, in order to be able to mark a set of pages as belonging to the same project or set of pages. | ||
[[OER:Documentation]] | [[OER:Documentation]] | ||