diff options
Diffstat (limited to 'src/www/syntax-editor/editor.html')
| -rw-r--r-- | src/www/syntax-editor/editor.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/www/syntax-editor/editor.html b/src/www/syntax-editor/editor.html index 8ebc9a919..558c457ad 100644 --- a/src/www/syntax-editor/editor.html +++ b/src/www/syntax-editor/editor.html @@ -26,6 +26,7 @@ <script type="text/javascript" src="../js/support.js"></script> <script type="text/JavaScript" src="../js/localstorage.js"></script> <script type="text/javascript" src="../js/pgf_online.js"></script> + <script type="text/JavaScript" src="../js/langcode.js"></script> <!-- Editor --> <script type="text/javascript" src="ast.js"></script> |