[03:47:50] Why is it that even though I've added a restriction to my special page extension in the parent::__construct method, I still have to use the permissionManager to check that the current user has that permission in order to prevent the page displaying? I thought the system would automatically show a restriction error without the proper permissions. [03:54:26] https://pastebin.com/dK2aQBKu just to clarify the relevant part of my extension.json file, and the construct method is just parent::__construct('LockEditing', 'editlock'); [03:54:54] And before someone says it, yes, I know Special:LockDB exists. This does not do what that does. [05:56:58] jfolv: in your special page's execute() function if you call parent::execute() then it'll automatically do those checks for you [05:58:39] legotktm: Ah, thank you! Looking at my IDE, it's telling me that it just checks user permissions? So I should just place that at the beginning of the child execute(), correct? [06:01:48] jfolv: yep [06:02:06] public function execute( $subPage ) { parent::execute( $subpage ); [your code ...] } [06:02:55] Good to know! I had solved my issue by injecting the permissionManager service and using it to check, but that's a lot of overhead for something that's much easier [07:10:03] hello, how can I adjust mediawiki so that articles are referenced by numbers instead of page names? like here for example: https://www.wikidata.org/wiki/Q147276 [07:22:57] what is a part of the wikibase extension - see https://www.mediawiki.org/wiki/Extension:Wikibase_Repository [07:23:07] you can always just name your articles "1", "2", etc. though [07:25:00] thank you DannyS712 [07:25:54] but I cannot do so automatically :(. I have to read the page you provided though... [07:27:27] you can also reference pages by the page id that is sequential [07:28:26] what can I do to display page id along with the page title? [07:30:39] I am trying to build a wiki where the users are free to change the page title without having redirects all the time... :((((( [07:47:23] what's the issue with redirects? [07:48:06] you can always link to pages using their id like https://www.mediawiki.org/?curid=136999 [07:49:41] Out of curiosity, is that a link to a revision or an actual page? [07:50:07] an actual page [07:50:17] neat, didn't know that [07:50:26] the link to the revision is https://www.mediawiki.org/w/index.php?title=Extension:Wikibase_Repository&oldid=4283903 [07:50:58] these are documented at https://www.mediawiki.org/wiki/Manual:Parameters_to_index.php [07:51:37] ^ about that - the preloadparams[] doesn't appear to work for javascript pages (not sure about other non-wikitext content models) [07:52:33] cloudcell: is there any reason you want to use reference numbers compared to page titles? [07:52:39] DannyS712: it's a wiki, you can fix it :p [07:53:09] but looking through the code I couldn't figure out why not, so I can just file a bug report and complain instead [07:53:53] p858snake: the problem is that I'm dealing with a wiki that documents certain problems whose definition can be changed [07:54:00] but the number can't [07:56:59] filed https://phabricator.wikimedia.org/T270542 [07:58:05] so I need to simply use the system wikidata uses, is there a simple way to tweak mediawiki so that it works like wikidata, I can't understand the source that I was given above :( [08:09:04] Ok, DannyS712 it seems that the solution lies in doing the following: (1) make the page ID known to users through {{PAGEID}} and make them follow the convention of referencing pages through PAGEID, but that is kind of cumbersome ... :(( what am I missing? how does wikidata do that? I need this functionality by default, because users won't follow this convention, I will have to spend valuable time fixing this for [08:09:05] them :( [08:11:02] wikidata uses an extension that replaces the normal pages with entities, with each entity having a number - you can also just have a bot autofix double redirects? [08:14:28] DannyS712: that's precisely what I need, I need to replace pages with entities [08:14:45] with each entity having a number [08:15:02] also, very rare that I say this, are you sure mediawiki is the correct fit for what you need? [08:15:49] p858snake: mediawiki allows for mathematical and chemical formulas and they are needed for what I'm dealing with [08:16:20] all I need is that wikidata extension [08:19:00] cloudcell: why don't you name the pages with #s, but use DISPLAYTITLE to change what the title displays as? [08:19:17] see https://www.mediawiki.org/wiki/Help:Magic_words#DISPLAYTITLE [08:20:48] legoktm: what is #s ? (I'm really new to this, I don't know many things still) [08:20:59] numbers [08:21:06] name your pages "1", "2", etc. [08:21:45] but how do I make users aware which numbers to assign, so I don't have clashes? [08:24:00] well they would notice if they're creating a page that already exists [08:24:17] I suspect there's no vanilla MediaWiki solution that exists for what you want to do, you might need to write some custom code for this [08:24:23] MW won't allow clashes, but you could probably do a simplish extension that gives a page to create that chooses the next number [08:25:00] p858snake: yes, that's probably the solution [08:25:17] thanks legoktm [08:26:10] p858snake: so i basically need an extension that reserves a name while a user writes a page [08:27:10] easiest way to "reserve" would probably the extension creates the page as blank and takes them straight to the edit view [08:31:20] p858snake: i just tried to use {{DISPLAYTITLE:xxxx}} it does not work, what am i doing wrong? [08:53:33] displaytitle command does not allow for any significant changes in title so it's useless :( [08:55:27] cloudcell: set https://www.mediawiki.org/wiki/Manual:$wgRestrictDisplayTitle to false [08:55:55] also you might want https://www.mediawiki.org/wiki/Extension:Display_Title ? [08:57:19] thank you legoktm , I'll examine this now [09:12:59] It seems I simply need an extension that wikidata uses, what is that extension? [22:24:05] hello [22:25:25] does anyone know if there is an extension for bandcamp player embedding? [23:31:23] Does anyone know how to run the wiki_setup puppet role/module/whatever (sorry, I don't know puppet dialect) of Vagrant again? I'm trying to get a working Vagrant for MediaWiki 1.35 but it failed because of PHP, and it's half-setup (no LocalSettings.php at all) [23:53:27] ohhh, vagrant provision is installing php-7.2 again, reverting all my manuall install :'(