https://bugzilla.wikimedia.org/show_bug.cgi?id=55517
Web browser: ---
Bug ID: 55517
Summary: Get rid of $options in cli.php
Product: MediaWiki extensions
Version: master
Hardware: All
OS: All
Status: NEW
Severity: trivial
Priority: Unprioritized
Component: Translate
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected], [email protected],
[email protected], [email protected],
[email protected], [email protected],
[email protected]
Classification: Unclassified
Mobile Platform: ---
cli.php uses the non-standardly named legacy global $options. Because of this,
we have to add code comments to not let CodeSniffer got mad over it.
function STDOUT( $str, $channel = null, $force = false ) {
// @codingStandardsIgnoreStart Globals should have prefix "wg".
global $options;
// @codingStandardsIgnoreEnd
Code should be refactored to not use the legacy global $options.
--
You are receiving this mail because:
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
