Manual:Resources.php/de

Resources.php hat die Definition der ResourceLoader-Kernmodule.