Jump to content

Manual:Resources.php

From mediawiki.org

Resources.php has the definition of core ResourceLoader modules.