Lines Matching defs:version_numbers
1183 var version_numbers = getVersionNumbers();
1184 var version = (major != null ? major : version_numbers.get("DEFAULT_VERSION_MAJOR"))
1185 + "." + (minor != null ? minor : version_numbers.get("DEFAULT_VERSION_MINOR"))
1186 + "." + (security != null ? security : version_numbers.get("DEFAULT_VERSION_SECURITY"))
1187 + "." + (patch != null ? patch : version_numbers.get("DEFAULT_VERSION_PATCH"));
1213 var version_numbers;
1222 if (version_numbers == null) {
1223 version_numbers = new java.util.Properties();
1225 version_numbers.load(stream);
1228 return version_numbers;