https://bugzilla.wikimedia.org/show_bug.cgi?id=5645
--- Comment #24 from This, that and the other (TTO) <[email protected]> --- (In reply to George Orwell III from comment #22) > I agree, however, that both approaches might seek to achieve the same > results at the end of the day - my solution would be the equivalent of > making 1 edit adding 1 line to 1 existing .js file. It may seem that simple to you, but it needs to be possible for this type of configuration to be altered *without* editing core JavaScript files, for a couple of reasons: 1. These files are overwritten whenever the MW software is upgraded 2. On a big cluster like WMF's, all wikis run the same, automatically updated code base, thereby making per-wiki hacks impossible That's why we use LocalSettings.php and an extension-based, modular structure. Whatever is decided for MediaWiki as a software package needs to be able to be easily overridden in the WMF's configuration files (or, in the case of option 3, on-wiki). I still favour option 2 (currently implemented in the proposed patch) as it appears this would be particularly useful for VisualEditor and other such systems, as well as MediaWiki core and WikiEditor. -- 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
