[10:11:31] Krinkle: any thoughts what to do about https://gerrit.wikimedia.org/r/c/mediawiki/core/+/513025#message-fc001c077079fb9c1dd22c9b8f8f4c94a78ff78c ? [13:40:33] https://gerrit.wikimedia.org/r/#/c/mediawiki/core/+/51963 [13:40:50] Somehow the old api property descriptions were still in ApiQueryImageInfo [13:43:36] well, that's the wrong gerrit link [13:43:41] https://gerrit.wikimedia.org/r/#/c/mediawiki/core/+/519630/ [13:43:46] off by zero [15:51:07] Reedy: Whoops. [15:52:29] lol [15:54:51] wat, 4 years ago [15:55:00] Was it just extensions they were only removed more recently? [15:55:32] I was going to ask if it was worth backporting to 1.33 [15:55:36] But if it's been sitting around that long... [15:56:50] Included in: REL1_25, REL1_26, REL1_27, REL1_28, REL1_29, REL1_30, REL1_31, REL1_32, REL1_33 [18:59:07] Reedy: Nah, just ignore it. [18:59:20] Yeah, my point [18:59:30] I thought we'd removed those in the 1.33 cycle