Replaced deprecated PHP class alias ResourceLoaderSkinModule with namespaced MediaWiki\ResourceLoader\SkinModule.\
The class was namespaced in MediaWiki 1.39
(commit 3e2653f83bc096889d8b69d1e01a52d7de42b247,
Change-Id Id08a220e1d6085e2b33f3f6c9d0e3935a4204659),
and the deprecated class alias was removed in MediaWiki 1.42 (commit 21d8d9863b393e0bea608ac2f926b40bfecff9ad,
Change-Id I5929a2f760c8d21c1cb2542a19220a91ac7240e4).
Replaced deprecated PHP class alias
ResourceLoaderSkinModule
with namespacedMediaWiki\ResourceLoader\SkinModule
.\The class was namespaced in MediaWiki 1.39 (commit 3e2653f83bc096889d8b69d1e01a52d7de42b247, Change-Id Id08a220e1d6085e2b33f3f6c9d0e3935a4204659),
and the deprecated class alias was removed in MediaWiki 1.42 (commit 21d8d9863b393e0bea608ac2f926b40bfecff9ad, Change-Id I5929a2f760c8d21c1cb2542a19220a91ac7240e4).
Bug: #38 Change-Id: I49315facdd5cc0f56485c830c020853763bf76c0