Niedzielski has uploaded a new change for review.
https://gerrit.wikimedia.org/r/223503
Change subject: Remove NonNull annotation on primitive
......................................................................
Remove NonNull annotation on primitive
Change-Id: I51402ecd6d806d43465df97c73914ee53c7ca317
---
M wikipedia/src/main/java/org/wikipedia/settings/Prefs.java
1 file changed, 0 insertions(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/apps/android/wikipedia
refs/changes/03/223503/1
diff --git a/wikipedia/src/main/java/org/wikipedia/settings/Prefs.java
b/wikipedia/src/main/java/org/wikipedia/settings/Prefs.java
index 7d1a480..f58567e 100644
--- a/wikipedia/src/main/java/org/wikipedia/settings/Prefs.java
+++ b/wikipedia/src/main/java/org/wikipedia/settings/Prefs.java
@@ -82,7 +82,6 @@
remove(getCookiesForDomainKey(domain));
}
- @NonNull
public static boolean isShowDeveloperSettingsEnabled() {
return getBoolean(R.string.preference_key_show_developer_settings,
WikipediaApp.getInstance().isDevRelease());
--
To view, visit https://gerrit.wikimedia.org/r/223503
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I51402ecd6d806d43465df97c73914ee53c7ca317
Gerrit-PatchSet: 1
Gerrit-Project: apps/android/wikipedia
Gerrit-Branch: master
Gerrit-Owner: Niedzielski <sniedziel...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
