Fetch Gerrit version dynamically in intro.html Avoid having a stale version number in the intro.html and fetch the current version dynamically using the /config/server/version. In case of errors, keep the v3.15 text by default. Change-Id: I1c99f23cfeebb2081fa7bf06818531d5e9a511f1
Gerrit web-based plugin manager.
To enable this plugin, please look at the configuration guide