[15:40:38] <AaronSchulz>	 Amir1: one more annoying thing for https://gerrit.wikimedia.org/r/c/mediawiki/core/+/1306957 . I left a comment :)
[16:02:57] <Amir1>	 ah, that's a good idea
[16:03:02] <Amir1>	 let me implement it
[16:40:33] <Amir1>	 AaronSchulz: I added that but accidentally pushed to the child patch, do you want me to fix it or it's fine? :D