[05:55:04] <Anil>	 hello
[10:39:53] <Sveta>	 Installed MediaWiki this month, latest stable release. The recent changes is compact but not annoying like at Wikipedia. Thank you for having this configuration by default!
[10:45:15] <Nemo_bis>	 yay default changes :) 
[10:45:25] <Nemo_bis>	 Sveta: which Wikipedia do you have in mind, by the way?
[22:37:59] <bedah>	 ups something is wrong with ExtJSBase extensions
[22:38:10] <bedah>	 error: no such remote ref d2f3eb58fff82fcdaaf21ca282eaaf4dbf81e120
[22:38:10] <bedah>	 Fetched in submodule path 'ExtJSBase', but it did not contain d2f3eb58fff82fcdaaf21ca282eaaf4dbf81e120. Direct fetching of that commit failed.
[22:39:04] <Reedy>	 Where are you getting that from?
[22:40:10] <bedah>	 https://www.mediawiki.org/wiki/Download_from_Git#Download_all_extensions
[22:40:14] <bedah>	 when i did that
[22:40:36] <Reedy>	 What is that?
[22:40:49] <bedah>	 downloading all extensions of mediawiki
[22:41:04] <Reedy>	 For REL1_31?
[22:41:52] <bedah>	 yes
[22:41:59] <bedah>	 i try the same for master now
[22:43:15] <bedah>	 worked fine
[22:43:15] <Reedy>	 It should be trying to pull hash a1ef81a  
[22:44:05] <Reedy>	 let me see if I can fix it for REL1_31
[22:46:04] <Reedy>	 bedah: cheers for the heads up. https://gerrit.wikimedia.org/r/#/c/mediawiki/extensions/+/479959/ should fix it. Just gotta wait for it to go through CI
[22:46:53] <bedah>	 git voodoo for me :D
[22:47:09] <Reedy>	 I'm guessing someone rewrote history or something and messed up the branch
[22:57:40] <bedah>	 i will investigate that. could be i did a git review yesterday on that repo, but with my account at work..
[22:58:14] <bedah>	 tanks anyway for the fast solution
[23:19:41] <Nemo_bis>	 reedy fixes all the things