Warning: file_get_contents(/data/phpspider/zhask/data//catemap/1/php/278.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
在mediaWiki中登录时加载不同的Localsettings.php_Php_Mediawiki - Fatal编程技术网

在mediaWiki中登录时加载不同的Localsettings.php

在mediaWiki中登录时加载不同的Localsettings.php,php,mediawiki,Php,Mediawiki,是否可以基于登录在MediaWiki中加载不同的LocalSettings.php。LocalSettings.php可以被视为任何其他服务器端脚本。这些设置不会缓存,因此会在每个页面请求中进行处理 在您的情况下,简单地根据用户权限选择设置将很容易实现。我会看看: User::getRights()或User::getGroups() 并相应地更改配置选项 此外,/includes/WebStart.php加载LocalSettings.php,因此您还可以根据用户设置更改配置文件路径

是否可以基于登录在MediaWiki中加载不同的LocalSettings.php。

LocalSettings.php
可以被视为任何其他服务器端脚本。这些设置不会缓存,因此会在每个页面请求中进行处理

在您的情况下,简单地根据用户权限选择设置将很容易实现。我会看看:

User::getRights()
User::getGroups()

并相应地更改配置选项

此外,
/includes/WebStart.php
加载
LocalSettings.php
,因此您还可以根据用户设置更改配置文件路径