diff options
Diffstat (limited to 'lib/exe')
-rw-r--r-- | lib/exe/js.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/exe/js.php b/lib/exe/js.php index e96d45ee6..d52fe3607 100644 --- a/lib/exe/js.php +++ b/lib/exe/js.php @@ -86,6 +86,7 @@ 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')).";"; |