“WikeEditor的启用”版本间的差异

2016年8月3日 (三) 10:48的版本

WikiEditor是mediawiki的一个扩展插件，增加了文字编辑能力。

在LOCALSETTING.php文件中加入以下内容

粗体文字require_once "$IP/extensions/WikiEditor/WikiEditor.php";