wikimedia/mediawiki-extensions-Interwiki
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Interwiki synced 2024-11-15 02:24:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
977 commits 284 branches 5 tags 12 MiB
Commit graph

3 commits

Author SHA1 Message Date
Kunal Mehta b1e72e77d6 build: Configure banana-checker and jsonlint 
Change-Id: I515e8d5d92e3b2ed24a5be2a45072e968b06fdeb
 2015-06-17 12:11:19 -07:00
Siebrand Mazeland 8931c47baf Interwiki maintenance. 
* Make addInfoRow private and non-static, so local context can be used for messaging.
* Change <i> to <em>.
* Add .idea to .gitignore.

Change-Id: Icc2eb5bb9d5925683b94bdfc5b06306fb009caf4
 2012-08-16 00:52:05 +02:00
Amir E. Aharoni e7a62478da (bug 36900) Partial cleanup 
This commit includes simple minor cleanups for Bug 36900 and a few
other issues that I found.

A fix for the message escaping will be committed separately.

* Little punctuation cleanup in English messages.
* Minor CSS cleanup for RTL.
* Changed == to ===.
* Adding .gitignore.

Change-Id: I9d1be93b10173caa54ae56fb1b0733533a3687e2
 2012-05-18 13:10:05 +03:00