New version set.

Jenkinsfile

@@ -17,7 +17,7 @@ node {
     sh 'rm -rf PLATIN'
 
     // TODO: Set version number in the HTML pages, too! Decide between releases and snapshots: SNAPSHOTs are put into the SNAPSHOTS repo, releases and BETAs are put into the RELEASES repo!
-    package_version = '2.7.3-SNAPSHOT'
+    package_version = '2.7.3'
     name = 'dariahde-geobrowser'
     description = 'DARIAH-DE Geo-Browser'
     url = 'https://geobrowser.de.dariah.eu/'

edit/index.html

@@ -228,7 +228,7 @@
 			</div> <!-- id="content-layout" -->
 			<div class="row-fluid">
 				<div class="span12 no-margin footer">
-					<span>Datasheet Editor version 2.7.3-SNAPSHOT &copy;2019 DARIAH-DE</span>
+					<span>Datasheet Editor version 2.7.3 &copy;2019 DARIAH-DE</span>
 					<ul class="pull-right inline">
 						<!--li><a href="https://validator.w3.org/nu/?doc=http://geobrowser.de.dariah.eu/v2/edit/index.html">nu HTML checker</a></li-->
 						<li><a href="https://de.dariah.eu/impressum">Imprint</a></li>

index.html

@@ -229,7 +229,7 @@
 			</div>
 			<div class="row-fluid">
 				<div class="span12 no-margin footer">
-					<span>Geo-Browser version 2.7.3-SNAPSHOT using <a href="https://github.com/DARIAH-DE/PLATIN">PLATIN</a> &copy;2019 DARIAH-DE</span>
+					<span>Geo-Browser version 2.7.3 using <a href="https://github.com/DARIAH-DE/PLATIN">PLATIN</a> &copy;2019 DARIAH-DE</span>
 					<ul class="pull-right inline">
 						<!--li><a href="https://validator.w3.org/nu/?doc=http://geobrowser.de.dariah.eu/v2/index.html">nu HTML checker</a></li-->
 						<li><a href="https://de.dariah.eu/impressum">Imprint</a></li>