[16:11:50] <kv4fv>	 what permissions are needed for me to be able to edit https://wiki.gnuradio.org/index.php?title=MediaWiki:Common.js ?
[16:12:34] <Reedy>	 editsitejs
[16:14:05] <kv4fv>	 thanks, I'll look at that.
[16:14:39] <Reedy>	 https://wiki.gnuradio.org/index.php?title=Special:ListGroupRights
[16:21:08] <Guest21>	 Hi. I would like to know if there is any bot or script to auto create pages from Wikipedia API to third party wiki?
[17:42:41] <Guest88>	 Gn
[17:43:18] <Guest88>	 Palvan Torayev
[20:52:13] <biberao>	 hi
[21:31:01] <kv4fv>	 does the script in MediaWiki:Common.js need to enclosed in "<script>" and "</script>", or does MediaWiki supply those?
[21:31:35] <Vulpix>	 kv4fv: only script contents, omit script tags
[21:31:55] <kv4fv>	 OK, thanks.
[21:32:10] <Vulpix>	 In fact, it's combined with MediaWiki:(skinname>.js IIRC,  and minimized