add support for new versions of flash player
diff --git a/jenkins.xml b/jenkins.xml
index 3e5c253..1a922a4 100644
--- a/jenkins.xml
+++ b/jenkins.xml
@@ -113,6 +113,15 @@
<condition property="target17.0">
<equals arg1="${playerglobal.version}" arg2="17.0" />
</condition>
+ <condition property="target18.0">
+ <equals arg1="${playerglobal.version}" arg2="18.0" />
+ </condition>
+ <condition property="target19.0">
+ <equals arg1="${playerglobal.version}" arg2="19.0" />
+ </condition>
+ <condition property="target20.0">
+ <equals arg1="${playerglobal.version}" arg2="20.0" />
+ </condition>
</target>
<target name="playerglobal10.2-download" if="target10.2">
@@ -241,6 +250,27 @@
verbose="false"/>
</target>
+ <target name="playerglobal18.0-download" if="target18.0">
+ <mkdir dir="${basedir}/lib/player/${playerglobal.version}"/>
+ <get src="http://download.macromedia.com/get/flashplayer/updaters/18/playerglobal18_0.swc"
+ dest="${basedir}/lib/player/${playerglobal.version}/playerglobal.swc"
+ verbose="false"/>
+ </target>
+
+ <target name="playerglobal19.0-download" if="target19.0">
+ <mkdir dir="${basedir}/lib/player/${playerglobal.version}"/>
+ <get src="http://download.macromedia.com/get/flashplayer/updaters/19/playerglobal19_0.swc"
+ dest="${basedir}/lib/player/${playerglobal.version}/playerglobal.swc"
+ verbose="false"/>
+ </target>
+
+ <target name="playerglobal20.0-download" if="target20.0">
+ <mkdir dir="${basedir}/lib/player/${playerglobal.version}"/>
+ <get src="http://download.macromedia.com/get/flashplayer/updaters/20/playerglobal20_0.swc"
+ dest="${basedir}/lib/player/${playerglobal.version}/playerglobal.swc"
+ verbose="false"/>
+ </target>
+
<!-- target name="playerglobal16.0-download" if="target16.0">
<mkdir dir="${basedir}/lib/player/${playerglobal.version}"/>
<get src="http://labsdownload.adobe.com/pub/labs/flashruntimes/flashplayer/flashplayer16_playerglobal.swc"
