[07:35:29] <JeroenDeDauw>	 Where should I file a reqeust for Gerrit git repo deletion? I'd like this thing to be gone https://github.com/wikimedia/mediawiki-extensions-DataTypes
[07:35:37] <JeroenDeDauw>	 That's a very out of date copy
[07:41:59] <ori>	 JeroenDeDauw: you want both github and gerrit repos completely obliterated?
[08:07:25] <JeroenDeDauw>	 ori: the gerrit one, after which I assume the mirror will dissapear as well
[08:07:50] <JeroenDeDauw>	 ori: we've had this repo at https://github.com/wmde/DataTypes/ for 2 years or so
[08:07:57] <JeroenDeDauw>	 *for 2 years already or so
[08:08:03] <JeroenDeDauw>	 So the old copy is a bit confusing
[08:10:35] <ori>	 JeroenDeDauw: if I try to delete it, I get the following error: "Cannot delete project mediawiki/extensions/DataTypes: Project is subscribed by other projects." If I understand https://gerrit.wikimedia.org/r/plugins/deleteproject/Documentation/cmd-delete.html correctly, it's because another repository declares this repository as one of its submodules.
[08:11:08] <ori>	 at any rate, it sounds delicate, so a phab task is probably in order.
[08:16:27] <JeroenDeDauw>	 ori: under which probjects should I file that>
[08:16:29] <JeroenDeDauw>	 ?
[08:20:43] <ori>	 JeroenDeDauw: probably MediaWiki-Extension-Requests and Project-Creators
[09:01:37] <JeroenDeDauw>	 ori: thnx!
[09:02:36] <JeroenDeDauw>	 ori: https://phabricator.wikimedia.org/T108457
[12:50:34] <lfschenone>	 hello fellows !
[12:50:44] <lfschenone>	 i have a question
[12:50:45] <wm-bot>	 Hi lfschenone, just ask! There is no need to ask if you can ask
[12:51:14] <lfschenone>	 that bot should be fired when a ? sign is detected ;-)
[12:51:33] <lfschenone>	 anyway, im trying to get the path of an image (hosted in Commons) via javascript
[12:51:44] <lfschenone>	 i checked the available javascript methods, but none seems to do what i require
[12:51:58] <lfschenone>	 i can get the title, the fragment, the url, and many other things, but not the path
[12:52:01] <lfschenone>	 is there a way?
[12:52:07] <lfschenone>	 or will i need to do an api call?
[12:54:02] <lfschenone>	 for clarification, i have already the names of the images, what i need is the path in order to construct a <img> tag and insert it into a page
[13:09:28] <Glaisher>	 lfschenone: uh, don't you use the url in the <img> tag?
[16:54:10] <__momak35NS>	 youtube movie that will change your life: https://www.youtube.com/watch?v=dcl6tl2FC98
[18:29:17] <GEOFBOT>	 ^...?!
[19:03:44] <darsie>	 Is wikipedia using mysql?
[19:05:28] <darsie>	 nm
[19:06:14] <Krenair>	 darsie, does MariaDB count?
[19:06:19] <Krenair>	 meh
[19:07:15] <Krenair>	 -> #wikipedia
[21:16:07] <spacekadt>	 Two days ago, my wiki turned into a bunch of blank pages. It mirrors the PCRE 8.34 issue exactly, but my host is running 8.12 and even a fresh install of mediawiki 1.25.1 in a new subdomain didn't help. Can anyone point me in the right direction?
[21:18:56] <Nemo_bis>	 spacekadt: did you check your version of PHP is supported?
[21:19:44] <spacekadt>	 the wiki has been up and running for about two years so being supported shouldn't be an issue, I think? but php version is 5.4.43
[21:21:00] <spacekadt>	 I admit I'm a bit of a "point and click and follow directions" type of person, but I do have a basic understanding. Google just isn't giving me help with this one... everything points to the PCRE which even the fresh mw install didn't help to fix