Lines Matching defs:version_numbers
1249 var version_numbers = getVersionNumbers();
1250 var version = (major != null ? major : version_numbers.get("DEFAULT_VERSION_MAJOR"))
1251 + "." + (minor != null ? minor : version_numbers.get("DEFAULT_VERSION_MINOR"))
1252 + "." + (security != null ? security : version_numbers.get("DEFAULT_VERSION_SECURITY"))
1253 + "." + (patch != null ? patch : version_numbers.get("DEFAULT_VERSION_PATCH"));
1279 var version_numbers;
1288 if (version_numbers == null) {
1289 version_numbers = new java.util.Properties();
1291 version_numbers.load(stream);
1294 return version_numbers;