wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-12-02 03:46:17 +00:00
Code Issues Packages Projects Releases Wiki Activity
282 commits 13 branches 20 tags 30 MiB
Commit graph

3 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
Chad Horohoe 04b207829e $wgServerName doesn't exist anymore 
This is a followup to I944938f9. I had kind of forgotten that
we removed $wgServerName.

Change-Id: I846cba6853f1a3a09f4e2d362960fea5f60bfcc3
 2013-02-06 10:24:59 -05:00
Brad Jorsch bd03237246 Add mw.site library 
Contains various constants and functions to access site info.

Change-Id: I944938f9af0203c16d1a3fb2046f332045dec4d9
 2013-02-06 09:20:59 -05:00