[20:33:20] I wish to plead with someone that has the time and available to review: https://gerrit.wikimedia.org/r/c/mediawiki/core/+/516322 [20:33:37] It touches so many files so it will be good for a quick look to avoid merge conflicts. Thanks [20:54:28] Reedy: The optimizer did that. [20:54:34] Should I remove it? [21:50:05] Which optmizer? [21:50:25] I don't mind whitespace changes if you're changing code in that area in that file [21:50:32] But not when they're in other files that you're not even touching [21:50:39] Those should really be a seperate patch labelled as such [22:17:56] * Krinkle is proud owner of http://perf.wiki [22:18:06] So happy it wasn't taken yet [22:20:52] Aha [22:36:35] Clearly we also need pref.wiki as a shortcut to Special:Preferences. [22:37:20] on which wiki? [22:52:29] mediawiki.org, duh. All the others are unimportant. [22:56:25] lol [23:39:52] James_F: or meta now that we have global prefs :) [23:40:23] bd808: Psh, don't encourage them.