949596979899100101102103104
// XXX throw exception? return false; } } WordPressVersion version = WordPressVersion.create(phpModule); if (version == null) { return false; } return hasUpgrade(version); } catch (MalformedURLException ex) {