Merge "Move WikiEditor's special character data and messages into core for use in...
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 27 Mar 2015 18:40:36 +0000 (18:40 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 27 Mar 2015 18:40:36 +0000 (18:40 +0000)
commit39eeb0513da3f061663d14482e0dbe4b42420b1e
treedebaaa9244b7d4f1b51fb2f063316e8228541037
parented2273fdc5ab00b88ae4a80a5dc3f8f2409b82af
parentec2330f7f99618e7b7074fa86d3380299d84a419
Merge "Move WikiEditor's special character data and messages into core for use in other extensions"
resources/Resources.php