[00:00:16] Hi,wanted to ask when cloning the MediaWiki core repository to one's server, does it take space on the server? and if it does about how much is it? [00:03:40] Yes it takes space on the server, without any extension is 87.5 MB [00:03:55] well first off depends the mediawiki version [00:04:09] are you referring to the latest version 1.26.2? [00:04:18] codynguyen1116: the git repository encompasses every version [00:04:21] yes [00:04:39] checking out an older version from it will use up roughly the same amount of space as checking out master [00:04:43] I know, I thought he wanted a specific branch though [00:04:54] yes cloning through git the core directory takes up 87.5 MB [00:05:19] so it would be roughly the same as just directly uploading a snapshot? [00:05:36] no, the git repository contains information about previous versions of the files [00:05:42] it will be larger than using the tarball [00:06:13] (note that the git repo doesn't include extensions or the 3rd party vendor files you need to install via composer either, so is more work to set up than the tarball) [00:06:34] not even the bundled extensions? [00:06:53] no, each extension is its own repository [00:07:02] you will need to clone those separately if you go the git route [00:07:07] you'll have to clone all the extension you want [00:07:52] it appears using the tarball method is much simpler, am I right? [03:44:49] !bikeshed [03:44:49] https://people.wikimedia.org/~gwicke/bikeshed.svg [03:45:16] o.o [05:31:13] hello [05:31:39] anyone is here? [05:35:17] hiii [05:35:49] O_O [05:36:18] !ask [05:36:18] Please feel free to ask your question: if anybody who knows the answer is around, they will surely reply. Don't ask for help or for attention before actually asking your question, that's just a waste of time – both yours and everybody else's. :) [05:36:24] Kalash: ^ [05:37:23] Actually I want to conatct with wikipedia administrator [05:51:09] bye [05:51:30] quit [16:50:48] Hi could i have some help. Does anyone know any js that can detect if a user is logged in. Like this code !$user->isLoggedIn() but in js. [16:50:49] please. [16:52:38] paladox: https://www.mediawiki.org/wiki/Manual:Interface/JavaScript#User-specific [16:53:19] Vulpix: Thanks. But non of those can be used to detect if a user is logged in or not. But im not sure. [16:53:39] paladox: > The numeric ID of the current user (null if not logged in). [16:53:56] Vulpix: Oh ok, thanks. [23:42:14] I'm trying to add extension::OAuth into my wiki, but as soon as I add $wgGroupPermissions['sysop']['mwoauthproposeconsumer'] = true; (or any of the Oauth related wgGroupPermissions) I get PHP Fatal error: Class 'MWGrants' not found in /var/www/html/extensions/OAuth/frontend/specialpages/SpecialMWOAuthConsumerRegistration.php on line 90 . And it's true, I don't see https://doc.wikimedia.org/mediawiki-core/master/php/MWGrants_8php.html anywhere in my files [23:44:11] I guess it must relate to https://gerrit.wikimedia.org/r/#/q/status:merged+project:mediawiki/extensions/Flow+branch:master+topic:move-grants-to-core,n,z