Manual talk:$wgResourceModules

I think "module" needs to be defined, it is used as if self-explanatory. Am I correct that a "module" with respect to the ResourceLoader is defined as a resource file embedded in a mediawiki-generated html page, such as css, javascript, messages, dependencies, localBasePath, remoteExtPath, but that an extension is not a "module"? Or is the extension the module?

Perhaps also include the case of on-wiki css and javascript, such as in common.css/js or in widgets. It remains unclear whether they need registration as well.

--G.Hagedorn (talk) 22:34, 23 July 2012 (UTC)