Page MenuHomePhabricator
Create Task
Maniphest T165923

DevSettings: Dynamic MediaWiki settings
Closed, ResolvedPublic
Actions

Description

Make changes to MediaWiki Base URI and Supports Multiple Languages in Developer Settings languages dynamic, so that the app does not have to be restarted after the setting is changed.

Details

SubjectRepoBranchLines +/-
DevSettings: Make MediaWiki settings dynamicapps/android/wikipediamaster+67 -0
Customize query in gerrit

Related Objects
Search...

Event Timeline

• bearND created this task.May 20 2017, 7:47 PM
Restricted Application removed a project: Patch-For-Review. · View Herald TranscriptMay 20 2017, 7:47 PM
• bearND updated the task description. (Show Details)May 20 2017, 7:48 PM
gerritbot added a comment.May 20 2017, 10:43 PM

Change 354877 had a related patch set uploaded (by BearND; owner: BearND):
[apps/android/wikipedia@master] DevSettings: Make MediaWiki settings dynamic

https://gerrit.wikimedia.org/r/354877

gerritbot added a project: Patch-For-Review.May 20 2017, 10:43 PM
gerritbot added a comment.May 21 2017, 10:41 AM

Change 354877 merged by jenkins-bot:
[apps/android/wikipedia@master] DevSettings: Make MediaWiki settings dynamic

https://gerrit.wikimedia.org/r/354877

Florian closed this task as Resolved.May 22 2017, 7:29 AM
Content licensed under Creative Commons Attribution-ShareAlike (CC BY-SA) 4.0 unless otherwise noted; code licensed under GNU General Public License (GPL) 2.0 or later and other open source licenses. By using this site, you agree to the Terms of Use, Privacy Policy, and Code of Conduct. · Wikimedia Foundation · Privacy Policy · Code of Conduct · Terms of Use · Disclaimer · CC-BY-SA · GPL