Extension:GroupPortal
![]() | This extension is currently not actively maintained! Although it may still work, any bug reports or feature requests will more than likely be ignored. |
![]() Release status: unmaintainedCategory:Unmaintained extensions |
|
---|---|
Implementation | MyWikiCategory:Personalization extensions |
Description | Allows for group-based main page redirection |
Author(s) | Tim Laquatalk |
Latest version | 1.2.0 (2014-09-14) |
MediaWiki | 1.11+Category:Extensions with manual MediaWiki version |
Database changes | No |
License | GNU General Public License 2.0 or later |
Download | GitHub: Note: |
The GroupPortal extension allows for different groups to be redirected to different main pages.
Installation
- Download and place the file(s) in a directory called
GroupPortal
in yourextensions/
folder. - Add the following code at the bottom of your LocalSettings.php file:
require_once "$IP/extensions/GroupPortal/GroupPortal.php";
- Set up the different portals
Done – Navigate to Special:Version on your wiki to verify that the extension is successfully installed.Category:Extensions not using extension registration
Configuration
Edit the "MediaWiki:Groupportal" system message and add portals with user group|portal
, e.g.
*|Main Page sysop|Administrator's noticeboard RandomGroup|Some pageCategory:Personalization extensions
Category:All extensions
Category:Extensions in GitHub version control
Category:Extensions not in ExtensionJson
Category:Extensions not using extension registration
Category:Extensions with manual MediaWiki version
Category:Extensions without a compatibility policy
Category:Extensions without an image
Category:GPL licensed extensions
Category:MediaWikiPerformAction extensions
Category:Personalization extensions
Category:Unmaintained extensions