PermissionManager doesn't exist in 1.33, so we cannot use it in 1.31

[lhc/web/wiklou.git] / maintenance / mwjsduck-gen

#!/usr/bin/env bash
set -e
cd $(dirname $0)/..
jsduck