Added "4.12 M1", "4.12 M3" TMs

Change-Id: If41300f81bfce9623ceb30e606728bf9f0ee089f
diff --git a/ui/scripts/jdtbugzilla.user.js b/ui/scripts/jdtbugzilla.user.js
index b801993..a7b6682 100644
--- a/ui/scripts/jdtbugzilla.user.js
+++ b/ui/scripts/jdtbugzilla.user.js
@@ -34,7 +34,7 @@
 // @resource      config   https://www.eclipse.org/jdt/ui/scripts/jdtbugzilla.config.js
 // @downloadURL   https://www.eclipse.org/jdt/ui/scripts/jdtbugzilla.user.js
 // @updateURL     https://www.eclipse.org/jdt/ui/scripts/jdtbugzilla.user.js
-// @version 1.20190308T0800
+// @version 1.20190320T1050
 
 // @include       https://bugs.eclipse.org/bugs/show_bug.cgi*
 // @include       https://bugs.eclipse.org/bugs/process_bug.cgi
@@ -65,7 +65,7 @@
 // - edit jdtbugzilla.config.js
 
 // Add as many milestones as you like:
-var target_milestones= ["4.12", "BETA J12", "BETA J13"];
+var target_milestones= ["4.12 M1", "4.12 M3", "4.12", "BETA J12", "BETA J13"];
 
 // Indexes into target_milestones to be used for "Fixed (in <TM>)" links
 var main_target_milestones= [0/*, 2*/];