MediaWiki 拡張機能マニュアル

Linter リリースの状態: 安定Category:Stable extensions/ja
実装	特別ページ Category:Special page extensions/ja
説明	lint のエラーを可視化して追跡
作者	Kunal Mehta (Legoktmトーク)
MediaWiki	>= 1.45
データベースの変更	はい
テーブル	linter
ライセンス	GNU 一般公衆利用許諾書 2.0 以降
ダウンロード	拡張機能をダウンロード Git [?]: リポジトリを参照 (GitHub) Gerrit コード レビュー Git コミット ログ Download source tarball Category:Extensions in Wikimedia version control/ja README
ヘルプ	Help:Extension:Linter/ja
パラメーター $wgLinterCategories $wgLinterParseOnDerivedDataUpdate $wgLinterStatsdSampleFactor
使用するフック APIQuerySiteInfoGeneralInfo Category:APIQuerySiteInfoGeneralInfo extensions/ja BeforePageDisplay Category:BeforePageDisplay extensions/ja InfoAction Category:InfoAction extensions/ja LoadExtensionSchemaUpdates Category:LoadExtensionSchemaUpdates extensions/ja ParserLogLinterData Category:ParserLogLinterData extensions/ja RevisionDataUpdates Category:RevisionDataUpdates extensions/ja WikiPageDeletionUpdates Category:WikiPageDeletionUpdates extensions/ja
translatewiki.net で翻訳を利用できる場合は、Linter 拡張機能の翻訳にご協力ください
問題点	未解決のタスク · バグを報告

Linter 拡張機能は外部サービスを用いて lint のエラーを追跡します。 現状では主に Parsoid が検出したエラーを追跡し編集者に可視化するため使われています。 エラー修正に取り組むにはHelp:Extension:Linter のヘルプを参照してください。

インストール

• ダウンロードして、ファイルをextensions/フォルダー内のLinterという名前のディレクトリ内に配置します。
  開発者とコード寄稿者は、上記の代わりに以下を使用してGitからインストールします:

  cd extensions/
  git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter
  

• 以下のコードを LocalSettings.php ファイルの末尾に追加します:

  wfLoadExtension( 'Linter' );
  

• 更新スクリプトを実行します。このスクリプトは、この拡張機能が必要とするデータベーステーブルを自動的に作成します。 指定の設定を追加：
• 完了 – ウィキの「Special:Version」に移動して、拡張機能が正しくインストールされたことを確認します。

設定

自分の LocalSettings.php ファイルに以下を追加、必要に応じて細部を編集します：

// Load Parsoid
wfLoadExtension(
    'Parsoid',
	"$IP/vendor/wikimedia/parsoid/extension.json"
);

$wgParsoidSettings = [
    'useSelser' => true,
    'linting' => true
];

$wgVisualEditorParsoidAutoConfig = false; // to make linting work

$wgVirtualRestConfig = [
	'paths' => [],
	'modules' => [
		'parsoid' => [
			'url' => 'https://www.mysite.wiki/w/rest.php',
			'domain' => 'www.mysite.wiki',
			'forwardCookies' => true,
			'restbaseCompat' => false,
			'timeout' => 30
		],
	],
	'global' => [
		'timeout' => 360,
		'forwardCookies' => false,
		'HTTPProxy' => null
	]
];

MediaWiki 1.43.x にアップグレード

Updating the extension's database table for MediaWiki 1.43 may need special attention.^[1]

The "update.php" script runs two time-consuming migration scripts that update the Linter database table at approximately 500 rows per second. Running "update.php" directly is recommended.

For large Linter tables where extended maintenance time is not feasible:

Upgrading from 1.40+

1. Set $wgLinterWriteNamespaceColumnStage = true
2. Set $wgLinterWriteTagAndTemplateColumnsStage = true
3. Run $ path/to/mediawiki/maintenance/run.php migrateNamespace
4. Run $ path/to/mediawiki/maintenance/run.php migrateTagTemplate
5. Proceed with MediaWiki and extensions update to 1.43

Upgrading from 1.39 or earlier

1. Update to MediaWiki 1.42 first
2. Then follow steps above for 1.40+ upgrade

API

list=linterrors (lnt)

Get a list of lint errors

meta=linterstats (lntrst)

Get number of lint errors in each category

特別ページ

The extension provides the Special:LintErrors page.

References

この拡張機能は 1 つ以上のウィキメディアのプロジェクトで使用されています。 これはおそらく、この拡張機能が安定していて高いトラフィックのウェブサイトでも十分に動作することを意味します。 この拡張機能がインストールされている場所を確認するには、ウィキメディアの設定ファイル CommonSettings.php および InitialiseSettings.php 内で、この拡張機能の名前を探してください。 特定のウィキにインストールされている拡張機能の完全な一覧は、そのウィキの Special:Version ページにあります。

この拡張機能は以下のウィキ ファーム/ウィキ ホスト/パッケージに含まれています: Canasta Category:Extensions included in Canasta/ja Debian Category:Extensions available as Debian packages/ja Miraheze Category:Extensions included in Miraheze/ja MyWikisCategory:Extensions included in MyWikis/ja wiki.gg Category:Extensions included in wiki.gg/ja WikiForgeCategory:Extensions included in WikiForge/ja これは正式な一覧ではありません。 一部のウィキ ファーム/ウィキ ホスト/パッケージは、ここに記載されていなくてもこの拡張機能を含んでいる場合があります。 必ずご利用のウィキ ファーム、ウィキ ホスト、バンドルで確認してください。