Extension:Linter/de
Linter Freigabestatus: stabil |
|
---|---|
File:Linter logo v2.svg | |
Einbindung | Spezialseite |
Beschreibung | Aufdecken und Verfolgen von Fusselfehlern |
Autor(en) | Kunal Mehta (Legoktmtalk) |
MediaWiki | |
Datenbankänderungen | Ja |
Tabellen | linter |
Lizenz | GNU General Public License 2.0 oder später |
Herunterladen | README |
Hilfe | Help:Extension:Linter/de |
Quarterly downloads | Lua error in Module:Extension at line 172: bad argument #1 to 'inNamespace' (unrecognized namespace name 'skin'). |
Public wikis using | Lua error in Module:Extension at line 172: bad argument #1 to 'inNamespace' (unrecognized namespace name 'skin'). |
Übersetze die Linter-Erweiterung, wenn sie auf translatewiki.net verfügbar ist | |
Probleme | Offene Aufgaben · Einen Fehler melden |
Die Fusselroller-Erweiterung verfolgt Fusselfehler von einem externen Dienst. Currently the main use case is to track the errors identified by Parsoid and expose them to editors. Help for users wanting to fix errors is available at Hilfe:Erweiterung:Linter .
Installation
- <translate> [[<tvar name=2>Special:ExtensionDistributor/Linter/de</tvar>|Download]] and move the extracted <tvar name=name>
Linter/de
</tvar> folder to your <tvar name=ext>extensions/
</tvar> directory.</translate>
<translate> Developers and code contributors should install the extension [[<tvar name=git>Special:MyLanguage/Download from Git</tvar>|from Git]] instead, using:</translate>cd extensions/
git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter%2Fde - <translate> Add the following code at the bottom of your <tvar name=1>LocalSettings.php </tvar> file:</translate>
wfLoadExtension( 'Linter/de' );
- <translate> Run the [[<tvar name=update>Special:MyLanguage/Manual:Update.php</tvar>|update script]] which will automatically create the necessary database tables that this extension needs.</translate>
- File:OOjs UI icon check-constructive.svg <translate> Done</translate> – <translate> Navigate to <tvar name=special>Special:Version</tvar> on your wiki to verify that the extension is successfully installed.</translate>
Einrichtungsvariablen
Be warned that this config is not sufficient to get lints run or linter errors reported as of February 2024. There may be missing documentation. These settings might work
In the $wgParsoidSettings section of your LocalSettings.php file, set
$wgParsoidSettings = [
'linting' => true
];
Programmierschnittstelle
Module "query+linterrors" not found. Module "query+linterstats" not found.
Fusselroller-Kategorien
A list of linter categories is available in site info properties.
Bootstrap or reprocess all pages
Instead of running refreshLinks.php , it's possible to populate lint errors by querying parsoid directly. See phab:T161556#3184216 for an example script.
Special pages
File:Wikimedia-logo black.svg | <translate> This {{<tvar name=1>#ifeq:Extension|Extension</tvar>|extension|skin}} is being used on one or more [[<tvar name=2>m:Special:MyLanguage/Wikimedia projects</tvar>|Wikimedia projects]].</translate> <translate> This probably means that the {{<tvar name=1>#ifeq:Extension|Extension</tvar>|extension|skin}} is stable and works well enough to be used by such high-traffic websites.</translate> <translate> Look for this {{<tvar name=1>#ifeq:Extension|Extension</tvar>|extension's|skin's}} name in Wikimedia's <tvar name=2>CommonSettings.php</tvar> and <tvar name=3>InitialiseSettings.php</tvar> configuration files to see where it's installed.</translate> <translate> A full list of the {{<tvar name=1>#ifeq:Extension|Extension</tvar>|extensions|skins}} installed on a particular wiki can be seen on the wiki's <tvar name=ver>Special:Version</tvar> page.</translate> |
Linter logo v2.svg |
- Pages with script errors
- Extensions bundled with MediaWiki 1.40/de
- Pages with broken file links
- Stable extensions/de
- Special page extensions/de
- Extensions without MediaWiki version
- GPL licensed extensions/de
- Extensions in Wikimedia version control/de
- All extensions/de
- Extensions not in ExtensionJson
- Extensions used on Wikimedia/de