jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/381051 )
Change subject: Hygiene: Quiet locally failing lint error
......................................................................
Hygiene: Quiet locally failing lint error
Add a needed @TargetApi annotation. I'm not sure why this isn't causing
CI to fail.
Change-Id: I8c8c7ea31fda87a251ab799303b0f96eaaaba244
---
M app/src/main/java/org/wikipedia/appshortcuts/AppShortcuts.java
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
Dbrant: Looks good to me, approved
jenkins-bot: Verified
diff --git a/app/src/main/java/org/wikipedia/appshortcuts/AppShortcuts.java
b/app/src/main/java/org/wikipedia/appshortcuts/AppShortcuts.java
index 2dabdab..4c10e07 100644
--- a/app/src/main/java/org/wikipedia/appshortcuts/AppShortcuts.java
+++ b/app/src/main/java/org/wikipedia/appshortcuts/AppShortcuts.java
@@ -24,6 +24,7 @@
app = WikipediaApp.getInstance();
}
+ @TargetApi(android.os.Build.VERSION_CODES.N_MR1)
public void init() {
if (Build.VERSION.SDK_INT >= Build.VERSION_CODES.N_MR1) {
--
To view, visit https://gerrit.wikimedia.org/r/381051
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I8c8c7ea31fda87a251ab799303b0f96eaaaba244
Gerrit-PatchSet: 1
Gerrit-Project: apps/android/wikipedia
Gerrit-Branch: master
Gerrit-Owner: Mholloway <[email protected]>
Gerrit-Reviewer: Brion VIBBER <[email protected]>
Gerrit-Reviewer: Cooltey <[email protected]>
Gerrit-Reviewer: Dbrant <[email protected]>
Gerrit-Reviewer: Sharvaniharan <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
