Cose di MediaWiki

Appunti relativi all'uso e all'amministrazione di MediaWiki, e come fare alcune cose specifiche.

Strumento di citazioni nel VisualEditor

Di default, il VisualEditor non sembra avere un metodo per aggiungere citazioni e riferimenti nella pagina...

Se questo è il caso, è perché va attivata l'estensione (inclusa) Cite; questo aggiungerà un relativo tasto nel VisualEditor che comodamente permette di aggiungere le citazioni belline col classico numeretto cliccabile inline.

Aggiungere CSS custom

MediaWiki include una funzionalità per permettere agli amministratori di aggiungere comodamente CSS custom al sito. Basta modificare le pagine di sistema relative al tipo fogli di stile che si vogliono arricchire, vuote di default, aggiungendo il proprio codice:

• MediaWiki:Common.css - Stili generali (/* Gli stili CSS inseriti qui si applicano a tutti i temi */)
• MediaWiki:Print.css - Stili specifici alla stampa (/* Gli stili CSS inseriti qui si applicano all'output in stampa */)

Modificare la configurazione di estensioni e skin

In MediaWiki, le diverse estensioni e skin possono fornire alcune opzioni di configurazione, definite nella sezione config del file extension.json o skin.json, che possono essere sovrascritte esternamente dagli amministratori, senza modificare i file originali del componente.

Per fare questo, basta aggiungere una variabile del tipo $<Prefisso><NomeOpzione> al file LocalSettings.php; dove il prefisso è wg di default, eccetto se sovrascritto attraverso una chiave chiamata _prefix. Per esempio, se l'opzione si chiama CosoText, basta aggiungere una riga $wgCosoText = "...";.

Spiegazione IA

In MediaWiki, how do I change a config value for a them? Must I change it in the skin.json or is there a proper way?

You should not change configuration values directly in skin.json. Doing so makes it difficult to update the skin later, as your changes will be overwritten when you download a new version. [1, 2] The proper way to change a config value for a theme (skin) is to override it in your LocalSettings.php file. [3, 4, 5] How to Override Skin Settings Most modern MediaWiki skins define their configurable options in their skin.json file under a "config" section. To override these: [6] Identify the Variable Name: Look in the skin's skin.json file for the configuration keys. They usually look like SkinNameVariable. Add to LocalSettings.php: Open your LocalSettings.php file and add the variable with your desired value after the line where you load the skin (e.g., after wfLoadSkin( 'SkinName' );). [7, 8] Example: If you are using the Citizen skin and want to change its default theme, you would add this to LocalSettings.php: wfLoadSkin( 'Citizen' ); $wgCitizenTheme = 'dark'; // Example override Other Proper Customization Methods If you want to change the look rather than just a functional setting: Site-wide CSS: Use the page MediaWiki:Common.css on your wiki for changes that apply to all skins. Skin-specific CSS: Use MediaWiki:SkinName.css (e.g., MediaWiki:Vector.css) to target only a specific theme. User Preferences: Some settings (like the default skin itself via $wgDefaultSkin) can be set in LocalSettings.php but may still be overridden by individual users in their Special:Preferences. [1, 2, 9, 10] Are you trying to change a specific setting for a particular skin, like Vector or Citizen? [1] https://stackoverflow.com [2] https://stackoverflow.com [3] https://www.mediawiki.org [4] https://www.mediawiki.org [5] https://www.digitalocean.com [6] https://www.mediawiki.org [7] https://www.awardspace.com [8] https://doc.wikimedia.org [9] https://www.mediawiki.org [10] https://workingwithmediawiki.com

So how do I change MedikColor for medik theme?

To change the MedikColor for the Medik theme, you must add the configuration variable to your LocalSettings.php file. The variable you need is $wgMedikColor. How to Apply the Change Open your LocalSettings.php file (typically found in the root directory of your MediaWiki installation). Locate the line where the Medik skin is loaded: wfLoadSkin( 'Medik' );. Add the following line below the loading line: $wgMedikColor = '#YOUR_HEX_CODE'; Replace #YOUR_HEX_CODE with your preferred color (e.g., #00ff00 for green or #ff0000 for red). Why this works This setting controls the color of the navbar and underlines throughout the skin. By defining it in LocalSettings.php instead of skin.json, you ensure your customization is "update-proof" and won't be deleted if you upgrade the Medik skin later. Advanced: Changing other Medik settings If you want to customize further, Medik also supports changing the logo placement via $wgWriteShowLogo (options: 'main', 'sidebar', or 'none'). Are you looking to change any other specific parts of the layout, like the sidebar or logo position?

Rimuovere index.php dagli URL delle pagine

A quanto pare, con la configurazione predefinita [quando non si usa una sottodirectory?], MediaWiki fa sì che i link alla visualizzazione delle pagine siano sempre nel formato /index.php?title=<NomePagina>, che è bruttissimo e rischia di non far indicizzare bene il sito sui motori di ricerca, anziché il più semplice formato /<NomePagina>.

Per sistemare, premesso che il web server sia configurato correttamente per accettare richieste con l'URL semplificato, basta aggiungere questa riga extra al file LocalSettings.php: $wgArticlePath = "/$1";.