Moving ascimath lib from main/inc/lib to main/inc/lib/javascript

main/inc/header.inc.php

@@ -34,7 +34,7 @@ if ($navigator_info['name'] == 'Internet Explorer' &&  $navigator_info['version'
 // not only in the "Documents" tool, but elsewhere in the system. This setting is related to the
 // online editor's plugins 'asciimath' and 'asciisvg'.
 if (api_get_setting('include_asciimathml_script') == 'true') {
-    $htmlHeadXtra[] = '<script src="'.api_get_path(WEB_LIBRARY_PATH).'asciimath/ASCIIMathML.js" type="text/javascript"></script>';
+    $htmlHeadXtra[] = api_get_js('asciimath/ASCIIMathML.js');
 }
 
 if (isset($httpHeadXtra) && $httpHeadXtra) {

main/inc/reduced_header.inc.php

@@ -21,7 +21,7 @@ header('Content-Type: text/html; charset='.api_get_system_encoding());
 // not only in the "Documents" tool, but elsewhere in the system. This setting is related to the
 // online editor's plugins 'asciimath' and 'asciisvg'.
 if (api_get_setting('include_asciimathml_script') == 'true') {
-    $htmlHeadXtra[] = '<script src="'.api_get_path(WEB_LIBRARY_PATH).'asciimath/ASCIIMathML.js" type="text/javascript"></script>';
+    $htmlHeadXtra[] = api_get_js('asciimath/ASCIIMathML.js');
 }
 
 if (isset($httpHeadXtra) && $httpHeadXtra) {