User:Dragoniez/PrivateSandbox/ja
PrivateSandboxは、Special:PrivateSandbox (またはSpecial:PS) 上で他者が閲覧できない個人サンドボックスを生成するユーザースクリプトです。
en:User:SD0001/private-sandbox.jsなど、別利用者による別バージョンも存在しますが、本スクリプトは以下の機能を有しています。
- ウィキエディターに対応
- 複数プロファイルを管理可能
- リアルタイムプレビュー
- [予定] 構文ハイライトに対応(CodeMirror v6が導入され次第対応予定)
なお、以下の点に注意してください。
- 複数のタブで(同じプロジェクトの)プライベートサンドボックスを同時に開かないでください。データの保存時、別ページ上のデータの上書きが起こり、データが破損する可能性があります。
- Visual Studio CodeのWikitextエクステンションが使用可能であれば、そちらを使用してください。本スクリプトが保存するデータは、全てのページのロード時に読み込まれるのが不可避の仕様のため、大きなデータを保存している場合読み込みが遅くなる場合があります。
インストール方法
edit下記を(スクリプトを使用するプロジェクトの)利用者common.jsに追加して下さい。メタのglobal.jsからの読み込みも可能です。なお、グローバルインストールした場合、スクリプトのデータはプロジェクトごとに保存されます。(ソースコード)
mw.loader.load('//meta.wikimedia.org/w/index.php?title=User:Dragoniez/PrivateSandbox.js&action=raw&ctype=text/javascript');
なお、このスクリプトは上記の特別ページ以外では読み込む必要がないため、以下のようにif
ブロックを設けるのが理論上一番リソース効率が良いです。(推奨、ただしgeneratePortletLink
コンフィグを使用する場合は不可)
if (mw.config.get('wgNamespaceNumber') === -1 && /^(PrivateSandbox|PS)$/i.test(mw.config.get('wgTitle'))) {
mw.loader.load('//meta.wikimedia.org/w/index.php?title=User:Dragoniez/PrivateSandbox.js&action=raw&ctype=text/javascript');
}
コンフィグ
editコンフィグの設定をする場合、以下のようにスクリプトをインストールのうえ、必要に応じて値を変更してください。
mw.loader.load('//meta.wikimedia.org/w/index.php?title=User:Dragoniez/PrivateSandbox.js&action=raw&ctype=text/javascript');
window.privateSandboxConfig = {
lang: '',
expandPreview: false,
showDeleter: false,
generatePortletLink: false
};
コンフィグ名 | 規定値 | 許容値 | 摘要 |
---|---|---|---|
lang | 個人設定の言語 (または英語) |
'en' , 'ja' |
インターフェースで使用する言語 |
expandPreview | false |
true , false |
プレビュータブをデフォルトで展開するか否か |
showDeleter | false |
true , false |
「データ削除」ボタンを表示するか否か |
generatePortletLink | false |
true , false |
Special:PrivateSandboxへのポートレットリンクを生成するか否か 注意: このコンフィグを true にする場合、ローダー行を上述のif ブロックで囲まないでください
|