master
<?php // TODO: implement defer='defer', but not for JsLibraries?> <script type="text/javascript" src="<?php echo $url; ?>" <?php echo $arguments; ?>></script>