https://bugzilla.wikimedia.org/show_bug.cgi?id=48963
Antoine "hashar" Musso <has...@free.fr> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |NEW Component|Continuous integration |General/Unknown Version|wmf-deployment |1.22-git Assignee|has...@free.fr |wikibugs-l@lists.wikimedia. | |org Product|Wikimedia |MediaWiki Summary|Jenkins: Write a phpcs |mark $wgUser as deprecated |sniff to deprecate use of |using DeprecatedGlobals.php |$wgUser | --- Comment #7 from Antoine "hashar" Musso <has...@free.fr> --- Umherirrender notified on the change: ----- There is a DeprecatedGlobals.php to get deprecation warnings on a global (used for $wgArticle), but $wgUser is not deprecated at the moment, so this is only for a hint to the developer and should not be a blocking sniff. ----- So I guess that needs to be done directly in core instead of phpcs as Timo pointed out. Moving bugs under MediaWiki product. -- 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 Wikibugs-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikibugs-l