MediaWiki:Common.css

From IF-Wiki
Revision as of 15:23, 26 August 2026 by Maintenance script (talk | contribs) (Esconde o titulo da pagina inicial, substituindo a extensao NoTitle)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Note: After publishing, you may have to bypass your browser's cache to see the changes.

  • Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
  • Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
  • Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5.
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;
}