Extension:PreToClip/ja

Category:GPL licensed extensions/ja
MediaWiki 拡張機能マニュアル
PreToClip
リリースの状態: 安定Category:Stable extensions/ja
実装 パーサー拡張機能 Category:Parser extensions/ja, 外装 Category:Skin extensions/ja
説明 Adds a "Copy to clipboard"-Button to every <pre>-tag
作者 Thomas Candrian, Robert Vogel
最新バージョン 3.0.0-alpha
互換性の方針 長期間サポート リリースであるすべての MediaWiki リリースについて、拡張機能に対応するブランチが存在します。
データベースの変更 いいえ
ライセンス GNU 一般公衆利用許諾書 3.0 のみ
ダウンロード Category:Extensions in Wikimedia version control/ja
translatewiki.net で翻訳を利用できる場合は、PreToClip 拡張機能の翻訳にご協力ください
Category:All extensions/ja

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' );
    
  • Yes 完了 – ウィキの「Special:Version」に移動して、拡張機能が正しくインストールされたことを確認します。

外部リンク

Category:Extensions by HalloWelt/ja
Category:All extensions/ja Category:Extensions by HalloWelt/ja Category:Extensions in Wikimedia version control/ja Category:Extensions included in BlueSpice/ja Category:GPL licensed extensions/ja Category:OutputPageBeforeHTML extensions/ja Category:Parser extensions/ja Category:Skin extensions/ja Category:Stable extensions/ja