diff options
Diffstat (limited to 'lib/exe/js.php')
| -rw-r--r-- | lib/exe/js.php | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/exe/js.php b/lib/exe/js.php index d52fe3607..e96d45ee6 100644 --- a/lib/exe/js.php +++ b/lib/exe/js.php @@ -86,7 +86,6 @@ function js_out(){ // add some global variables print "var DOKU_BASE = '".DOKU_BASE."';"; print "var DOKU_TPL = '".DOKU_TPL."';"; - // FIXME: Move those to JSINFO print "var DOKU_UHN = ".((int) useHeading('navigation')).";"; print "var DOKU_UHC = ".((int) useHeading('content')).";"; |