Extension:PushToWatch

MediaWiki 拡張機能マニュアル

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 以降
ダウンロード	拡張機能をダウンロード Git [?]: Git master をダウンロード リポジトリを参照 (GitHub) コミット履歴 リポジトリの貢献者 (GitHub) コード レビュー
追加する権限 pushtowatch
使用するフック SkinAddFooterLinks
四半期ごとのダウンロード数	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".