Changes

Summary

1. fixed another little documentation version script bug (details)

Commit 3dd4fbb9994e8ea87434887c9df90299228f0bc9 by noreply fixed another little documentation version script bug
	documentation/src/main/resources/js/customscripts.js (diff)