[09:59:27] Sigh, user not migrated yet. https://phabricator.wikimedia.org/T54165 Is there a way to force the account merge? [17:26:49] does anyone have a copy of the 'ts-specs' repository from svn.toolserver.org? [17:28:30] evilfelicity: https://sourceforge.net/p/toolserver/code/HEAD/tree/ should have them all but that's missing, are you sure it was there and non-empty? [17:30:45] Nemo_bis: ah, http://sourceforge.net/p/toolserver/code/HEAD/tree/toolserver/trunk/ts-specs/, thanks [17:31:32] ok :) [19:52:50] legoktm: lol https://ca.wikimedia.org/w/index.php?title=User_talk:MediaWiki_message_delivery&diff=prev&oldid=7238 [19:53:12] haha [19:53:17] * legoktm will fix that later [19:57:54] https://ca.wikimedia.org/wiki/User_talk:FuzzyBot is also hehe [19:59:27] hi [19:59:55] it seems there is a cache issue on Commons now [20:00:30] files deleted partially stayed undeleted for a few seconds [20:00:43] reported by 2 people [20:02:10] few seconds as in, literally? I dont think tis is a bug [23:43:28] hello [23:44:07] I just connected with a simple question... is Mediawiki:Sitenotice now deprecated (and superseded by Centralnotice) or it can still work (if needed on one project only) [23:52:33] sitenotice still works [23:53:26] CentralNotice is for more complex use cases, like when you have more than one wiki, or more than one banner that you want to display depending on various conditions