mediawikiで独自のカスタムグループを作成するにはどうすればよいですか?
-
03-07-2019 - |
質問
mediawikiのドキュメントを注意深く読みましたが、新しいグループを作成する方法を見つけることができませんでした。
Special:Userrightsを見ると、3つのグループしか表示されていません。 ボット、シソップ、ブレイクラット
独自のカスタムグループを作成したいので、 http: //www.mediawiki.org/wiki/Extension:Group_Based_Access_Control 。
誰かがそれがどのように行われたか教えてもらえますか、またはいくつかのドキュメントを教えてくれますか?
解決
LocalSettings.phpファイルに新しいグループのアクセス許可を追加すると、Special:UserRightsページに自動的に表示されます。
たとえば、通常のユーザーによる編集を禁止したいが、「信頼済み」を作成したかった。編集が許可されたグループ。次のコードは" Trusted"を作成します。 「ユーザー」に等しいグループ「信頼済み」を除くグループユーザーは編集できますが、「ユーザー」はユーザーはできません。
$wgGroupPermissions['Trusted'] = $wgGroupPermissions['user'];
$wgGroupPermissions['user' ]['edit'] = false;
$wgGroupPermissions['Trusted']['edit'] = true;
$wgGroupPermissions['sysop' ]['edit'] = true;
Special:UserRightsページで、「信頼済み」を確認できるようになりました。ユーザーを信頼させるためのボックス。
他のヒント
次のメッセージを作成して、グループ名の外観を変更できます。 (忍者というグループの場合:)
- MediaWiki:Group-ninja(コンテンツ:Ninjas)
- MediaWiki:Group-ninja-member(コンテンツ:ninja)
- MediaWiki:Grouppage-ninja(コンテンツ:Project:Ninjas)
これにより、グループが「Ninjas」と呼ばれるようになります。インターフェース全体で使用され、メンバーは「忍者」と呼ばれ、概要はグループ名をProject:Ninjasにリンクします。
(ソース: http://www.mediawiki.org/wiki/Manual:User_rights#Examples)
ここには、権限のリストがあります。 http://www.mediawiki.org/wiki/Manual:User_rights
答えが見つかったと思います。LocalSettings.phpファイルのwgGroupPermissions配列にUserGroupとパーミッションを追加するだけです。
$wgGroupPermissions['TomatoUsers']['read'] = true;
$wgGroupPermissions['TomatoUsers']['edit'] = false;
最初の答え(拡張機能の初期化ファイルに追加することもできます)に投票する評判はありませんが、グループにユーザーを追加する場合は、データベースを直接編集することを検討してください(つまり、 Wikiグループを外部情報と同期する必要がある場合)。データベース" wikidb"を開くと、 " PREFIX_user_groups" *テーブルには、ユーザーID(ug_user)とグループ名(ug_group)の間のマッピングが含まれます。このテーブルは、" PREFIX_user" *テーブルの名前情報(user_name)およびID情報(user_id)と組み合わせて、多数のユーザーをグループに追加および削除するためのすべての情報を提供します。
*置換" PREFIX&quot ;; Wikiに使用したデータベースプレフィックスを使用します。