Add phpdoc for global variables from pandocfilters.php so the IDE doesn't complain