ResourceLoader/Migration guide for extension developersand

From mediawiki.org