wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-27 01:30:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
190 commits 13 branches 20 tags 30 MiB
Commit graph

2 commits

Author SHA1 Message Date
Tim Starling ce062407ab Fix further non-local effects of library registration 
Fixed several accidental leaks to the global namespace due to missing
"local" declaration. Removed extension of the string table by mw.uri,
same justification as I5d0ddb70.

Change-Id: Iba1bf8e651d4ce05812e4a9a7a074cb6679297a0
 2013-02-13 15:40:18 +11:00
Brad Jorsch db9fd2b39b Add mw.uri library 
Change-Id: I1d94a8c288537ada038f24f2ec26922d95f14785
 2013-02-07 13:31:24 -05:00