Manual:Resources.php

From mediawiki.org

Resources.php has the definition of core ResourceLoader modules.