2009-07-02 17 views

答えて

1

LocalSettings.phpは、他のサーバーサイドスクリプトと同様に扱うことができます。これらの設定はキャッシュされないため、各ページ要求で処理されます。

あなたの場合、ユーザー権利に基づいて設定を選択するだけで簡単に実装できます。私は見ます:

User::getRights()またはUser::getGroups()

し、それに応じて設定オプションを変更します。

さらに、/includes/WebStart.phpLocalSettings.phpとなります。そのため、ユーザー設定に基づいて設定ファイルのパスを変更することもできます。