[06:24:05] <legoktm>	 why is $wgUseAjax not deprecated yet?
[23:19:01] <James_F>	 legoktm: I wrote a patch didn't I? Or maybe I was just planning to do so?
[23:19:55] <legoktm>	 James_F: https://gerrit.wikimedia.org/r/#/c/421428/ says DNM?
[23:20:02] <James_F>	 legoktm: https://gerrit.wikimedia.org/r/#/c/421428/ - for sanity I did it on top of https://gerrit.wikimedia.org/r/#/c/392542/ which is a 1.32+ change.
[23:20:35] <legoktm>	 Can we add @deprecated since 1.31 to the config setting at least? WIthout changing any of the code that reads from it
[23:20:38] <James_F>	 legoktm: I wasn't planning to re-work it. If you massively care you could...
[23:20:54] <James_F>	 legoktm: That seems fair. Deprecate in 1.31, deprecate-and-ignore in 1.32, remove in 1.33.
[23:21:22] <James_F>	 legoktm: Write and I'll merge?
[23:21:24] <legoktm>	 the reason I even noticed is that CategoryTree used to disable itself if $wgUseAjax = false, but I got rid of that in https://gerrit.wikimedia.org/r/#/c/426846/ because it was silly
[23:21:47] * James_F nods.
[23:21:56] <James_F>	 Definitely pointless to maintain.
[23:22:09] <James_F>	 Same as wgEnableAPI, same reasoning.
[23:24:08] <legoktm>	 I think it was also poorly defined. Some extensions used it before enabling any ajax functionality, while others just used it before using the legacy action=ajax stuff
[23:24:21] <James_F>	 Yeah.
[23:27:58] <legoktm>	 James_F: https://gerrit.wikimedia.org/r/427033
[23:28:54] <James_F>	 Thanks.