Mwjames has submitted this change and it was merged. Change subject: User preference naming consolidation before release ......................................................................
User preference naming consolidation before release Change-Id: I32c4dbf0fa5feac13de577297f3c83337ed1822f --- M SemanticMediaWiki.hooks.php M languages/SMW_Messages.php M resources/ext.smw.ask.js M specials/AskSpecial/SMW_QuerySpecialPage.php 4 files changed, 20 insertions(+), 18 deletions(-) Approvals: Mwjames: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/26930 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I32c4dbf0fa5feac13de577297f3c83337ed1822f Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/SemanticMediaWiki Gerrit-Branch: master Gerrit-Owner: Mwjames <[email protected]> Gerrit-Reviewer: Mwjames <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
