Jump to content

Extension:PushToWatch

From mediawiki.org
This page is a translated version of the page Extension:PushToWatch and the translation is 33% complete.
MediaWiki 拡張機能マニュアル
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 以降
ダウンロード
  • pushtowatch
四半期ごとのダウンロード数 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' );
    
  • Yes 完了 – ウィキの「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".