IF-Wiki - Recent changes [en]

MediaWiki:Common.css

Maintenance script — Wed, 26 Aug 2026 18:25:45 GMT

Esconde o titulo da pagina inicial (substitui a extensao NoTitle, incompativel com o MW 1.43)

← Older revision		Revision as of 15:25, 26 August 2026
Line 1:		Line 1:
			/* Esconde o titulo na pagina inicial.
	~~Outputs page text to stdout~~		*
			* A pagina usava __NOTITLE__, palavra magica da extensao NoTitle. Essa extensao
	~~Usage: php maintenance/run.php getText [OPTION]... <title>~~		* esta em extensions/ mas nunca foi carregada, e e do formato antigo (2014),
			* sem extension.json — incompativel com o MediaWiki 1.43. Sem ela, o
	~~Script runner options:~~		* __NOTITLE__ aparecia como texto literal no topo da pagina.
	~~--conf <CONF>: Location of LocalSettings.php, if not default~~		*
	~~--globals: Output globals at the end of processing for debugging~~		* Esta regra faz o mesmo efeito por CSS, sem depender de extensao.
	~~--help (-h): Display this help message~~		* Para voltar a exibir o titulo, apague este bloco.
	~~--memory-limit <MEMORY-LIMIT>: Set a specific memory limit for the~~		*
	~~script, "max" for no limit or "default" to avoid changing it~~		* 2026-08-26
	~~--profiler <PROFILER>: Profiler output format (usually "text")~~		*/
	~~--quiet (-q): Whether to suppress non-error output~~
	~~--server <SERVER>: The protocol and server name to use in URLs, e.g.~~
	~~https://en.wikipedia.org. This is sometimes necessary because server~~
	~~name detection may fail in command line scripts.~~
	~~--wiki <WIKI>: For specifying the wiki ID~~

	~~Common options:~~
	~~--dbgroupdefault <DBGROUPDEFAULT>: The default DB group to use.~~
	~~--dbpass <DBPASS>: The password to use for this script~~
	~~--dbuser <DBUSER>: The DB user to use for this script~~

	~~Script specific options:~~
	~~--revision <REVISION>: Revision ID~~
	~~--show-private: Show the text even if it's not available to the~~
	~~public~~

	~~Arguments:~~
	~~<title>: Page title~~


	/* IF-2026-08-26-notitle
	* Esconde o titulo ~~"Main Page"~~ na pagina inicial.
	* ~~Substitui a~~ extensao NoTitle ~~(__NOTITLE__), que estava no disco mas nao~~
	* carregada e e do formato antigo, incompativel com o MediaWiki 1.43.
	* Para voltar a exibir o titulo, ~~basta apagar~~ este bloco. */
	body.page-Main_Page h1.firstHeading,		body.page-Main_Page h1.firstHeading,
	body.page-Main_Page #firstHeading {		body.page-Main_Page #firstHeading {
	display: none;		display: none;
	}		}

Main Page

Maintenance script — Wed, 26 Aug 2026 18:25:16 GMT

Restaura o conteudo da pagina e remove __NOTITLE__ (titulo agora escondido via Common.css)

@@ Line 1: / Line 1: @@
-Outputs page text to stdout
+<p align="center">
-Usage: php maintenance/run.php getText [OPTION]... <title>
+==Tutoriais==
-Script runner options:
+<center>[[File:Logoiftop.png|middle|270px]]

MediaWiki:Common.css

Maintenance script — Wed, 26 Aug 2026 18:23:55 GMT

Esconde o titulo da pagina inicial, substituindo a extensao NoTitle

New page

Outputs page text to stdout

Usage: php maintenance/run.php getText [OPTION]... <title>

Script runner options:
--conf <CONF>: Location of LocalSettings.php, if not default
--globals: Output globals at the end of processing for debugging
--help (-h): Display this help message
--memory-limit <MEMORY-LIMIT>: Set a specific memory limit for the
script, "max" for no limit or "default" to avoid changing it
--profiler <PROFILER>: Profiler output format (usually "text")
--quiet (-q): Whether to suppress non-error output
--server <SERVER>: The protocol and server name to use in URLs, e.g.
https://en.wikipedia.org. This is sometimes necessary because server
name detection may fail in command line scripts.
--wiki <WIKI>: For specifying the wiki ID

Common options:
--dbgroupdefault <DBGROUPDEFAULT>: The default DB group to use.
--dbpass <DBPASS>: The password to use for this script
--dbuser <DBUSER>: The DB user to use for this script

Script specific options:
--revision <REVISION>: Revision ID
--show-private: Show the text even if it's not available to the
public

Arguments:
<title>: Page title

/* IF-2026-08-26-notitle
* Esconde o titulo "Main Page" na pagina inicial.
* Substitui a extensao NoTitle (__NOTITLE__), que estava no disco mas nao
* carregada e e do formato antigo, incompativel com o MediaWiki 1.43.
* Para voltar a exibir o titulo, basta apagar este bloco. */
body.page-Main_Page h1.firstHeading,
body.page-Main_Page #firstHeading {
display: none;
}

Main Page

Maintenance script — Wed, 26 Aug 2026 18:23:53 GMT

Remove __NOTITLE__ (extensao NoTitle nao esta carregada; titulo agora escondido por CSS)

@@ Line 1: / Line 1: @@
-__NOTITLE__
+Outputs page text to stdout
-<p align="center">
+Usage: php maintenance/run.php getText [OPTION]... <title>
-==Tutoriais==
+Script runner options:
-{{Home}}
+    --conf <CONF>: Location of LocalSettings.php, if not default
-<br>
+    --globals: Output globals at the end of processing for debugging
-<center>[[File:Logoiftop.png|middle|270px]]
+Common options: