扩展:PushToWatch
Appearance
PushToWatch 发行状态: 稳定版 |
|
---|---|
实现 | 用户界面, 页面操作 |
描述 | Allows to push a page to another user's watchlist |
作者 | François Leurent (cloudyks留言) |
最新版本 | 0.3.0 (2020-11-24) |
兼容性政策 | 快照跟随MediaWiki发布。 master分支不向后兼容。 |
MediaWiki | >= 1.37.0 |
数据库更改 | 否 |
许可协议 | GNU通用公眾授權條款2.0或更新版本 |
下載 | |
|
|
季度下載量 | 0 |
前往translatewiki.net翻譯PushToWatch扩展 | |
問題 | 开启的任务 · 报告错误 |
The PushToWatch extension allows to push a page to another user's watchlist.
安裝
- 下载文件,并将解压后的
PushToWatch
文件夹移动到extensions/
目录中。
开发者和代码贡献人员应从Git安装扩展,输入:cd extensions/
git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/PushToWatch - 将下列代码放置在您的LocalSettings.php 的底部:
wfLoadExtension( 'PushToWatch' );
- 完成 – 在您的wiki上导航至Special:Version,以验证已成功安装扩展。
用法
You should see a form at the bottom of all pages, preceded by the list of all current watcher. You can put someone account name (login), there, press enter to submit. The page will refresh itself, and changes take effect immediately.
The "pusher" and the "pushed to" will receive email notifying them of the "forced invitation".