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