Extension:PushToWatch
PushToWatch リリースの状態: 安定 |
|
---|---|
実装 | ユーザー インターフェイス, ページの操作 |
説明 | Allows to push a page to another user's watchlist |
作者 | François Leurent (cloudyksトーク) |
最新バージョン | 0.3.0 (2020-11-24) |
互換性の方針 | MediaWiki とともにリリースされるスナップショット。 master には後方互換性がありません。 |
データベースの変更 | いいえ |
ライセンス | GNU 一般公衆利用許諾書 2.0 以降 |
ダウンロード | |
|
|
四半期ごとのダウンロード数 | 0 |
translatewiki.net で翻訳を利用できる場合は、PushToWatch 拡張機能の翻訳にご協力ください | |
問題点 | 未解決のタスク · バグを報告 |
The PushToWatch extension allows to push a page to another user's watchlist.
インストール
- ダウンロードして、ファイルを
extensions/
フォルダー内のPushToWatch
という名前のディレクトリ内に配置します。
開発者とコード寄稿者は、上記の代わりに以下を使用してGitからインストールします:cd extensions/
git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/PushToWatch - 以下のコードを LocalSettings.php ファイルの末尾に追加します:
wfLoadExtension( 'PushToWatch' );
- 完了 – ウィキの「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".