Board Thread:General Coding Help/@comment-26923519-20170512015650/@comment-24055022-20170512020015

I would assume MediaWiki:Common.js, but it doesn't say. It does say it's in beta though, so I wouldn't really recommend using it just yet.