Extension:PreToClip
PreToClip リリースの状態: 安定 |
|
---|---|
実装 | パーサー拡張機能 , 外装 |
説明 | Adds a "Copy to clipboard"-Button to every <pre> -tag |
作者 | Thomas Candrian, Robert Vogel |
最新バージョン | 2.0.0-alpha |
互換性の方針 | 長期間サポート リリースであるすべての MediaWiki リリースについて、拡張機能に対応するブランチが存在します。 |
MediaWiki | >= 1.39.0 |
データベースの変更 | いいえ |
ライセンス | GNU 一般公衆利用許諾書 3.0 のみ |
ダウンロード | |
四半期ごとのダウンロード数 | 36 (Ranked 103rd) |
translatewiki.net で翻訳を利用できる場合は、PreToClip 拡張機能の翻訳にご協力ください | |
The PreToClip extension adds a "Copy to clipboard" button to every <pre>
tag, even auto-generated ones (e.g. by Extension:SyntaxHighlight ).
インストール
- ダウンロードして、ファイルを
extensions/
フォルダー内のPreToClip
という名前のディレクトリ内に配置します。
開発者とコード寄稿者は、上記の代わりに以下を使用してGitからインストールします:cd extensions/
git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/PreToClip - 以下のコードを LocalSettings.php ファイルの末尾に追加します:
wfLoadExtension( 'PreToClip' );
- 完了 – ウィキの「Special:Version」に移動して、拡張機能が正しくインストールされたことを確認します。
外部リンク
- Extension reference: PreToClip
この拡張機能は以下のウィキ ファーム/ウィキ ホスト/パッケージに含まれています: これは正式な一覧ではありません。 一部のウィキ ファーム/ウィキ ホスト/パッケージは、ここに記載されていなくてもこの拡張機能を含んでいる場合があります。 必ずご利用のウィキ ファーム、ウィキ ホスト、バンドルで確認してください。 |