[13:06:56] <Mirghon>	 Hi. I am currently trying to import modules from wikipedia into my private MediaWiki project. I get the error message
[13:06:57] <Mirghon>	 Import failed: The lua binary (.../httpdocs/wiki/extensions/Scribunto/includes/engines/LuaStandalone/binaries/lua5_1_5_linux_64_generic/lua) is not executable.
[13:06:57] <Mirghon>	 even though the file is there. Can anyone help?
[13:10:54] <majavah>	 Mirghon: is the file executable? https://www.mediawiki.org/wiki/Extension:Scribunto#Lua_binary
[13:11:09] <Mirghon>	 its a lua file
[13:11:12] <Mirghon>	 without extension
[13:11:20] <Mirghon>	 its 200 MB though
[13:11:27] <Mirghon>	 (or KB)?
[13:12:40] <Mirghon>	 and the server runs on 64 bit linux so
[13:13:04] <Mirghon>	 according to your link it /should/ work , right?
[13:14:40] <Mirghon>	 (i can't see if the file is executable server-side since i manage the server via a FTP client from a windows PC)
[13:15:39] <majavah>	 it needs to have the execute permission set, it won't work without it
[16:38:35] <Victor_Trevor>	 Hi. I have installed the current version of MediaWiki in XAMPP, but I don't know how to install this script: https://en.wikipedia.org/wiki/User:PleaseStand/userinfo.js
[16:40:49] <wctaiwan>	 that's a user script, not something you'd install in mediawiki. If you want to activate that script for all users of your wiki, put it in the global Common.js; see https://www.mediawiki.org/wiki/Manual:Interface/JavaScript
[16:41:56] <wctaiwan>	 if you just want it for yourself you can just copy the code to User:YourUsername/common.js
[16:45:10] <Victor_Trevor>	 Thank you for helping to me.
[16:45:54] <Reedy>	 !userscripts
[16:45:59] * Reedy kicks wm-bot
[16:46:53] <Victor_Trevor>	 !userscripts
[16:47:52] <Reedy>	 !botbrain
[16:47:52] <wm-bot>	 Hello, I'm wm-bot. The database for this channel is published at https://wm-bot.wmflabs.org/dump/%23mediawiki.htm More about WM-Bot: https://meta.wikimedia.org/wiki/wm-bot
[16:49:33] <wctaiwan>	 Victor_Trevor: if you want to keep the code in a separate file, you can load it in Common.js like so: https://www.mediawiki.org/wiki/Adding_JavaScript_to_Wiki_Pages#Separate_script
[16:50:41] <wctaiwan>	 (side note for others here—is there a reason mw.loader.load can't just take a page name without the user having to supply the full path? or maybe have a separate API that takes a page name)
[17:07:05] <Victor_Trevor>	 wctaiwan: I really apperciate it.
[17:07:55] <wctaiwan>	 np
[17:25:27] <Vulpix>	 wctaiwan: mw.loader.load takes a module name as input, or an URL. There would be no way for the loader to distinguish between a page name and a module name
[17:26:02] <wctaiwan>	 a separate API then? this feels like a somewhat common use case
[17:44:39] <Vulpix>	 wctaiwan: you can pass this as the input: | mw.util.getUrl( 'PageName', { action: 'raw', ctype: 'text/javascript' } ) |
[17:45:00] <Vulpix>	 Not as convenient as a single parameter but at least you don't have to hardcode a complete URL
[17:56:42] <legoktm[m]>	 there's a long discussion/bug about loading wiki pages directly