wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-12-04 04:38:08 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Scribunto/includes/engines/LuaCommon
History
Brad Jorsch 66f83331db Record vary-page-id when ID is accessed via mw.title 
This triggers a needed reparse when a new page is created using a module
that accesses the page ID.

Bug: T237746
Change-Id: I5564c2e896dd2a025c5a886ca478c377fac83e74
2020-02-13 17:24:41 +00:00
..
lualib Record vary-page-id when ID is accessed via mw.title 2020-02-13 17:24:41 +00:00
HashLibrary.php Add method scope visibility 2018-11-19 21:18:12 +00:00
HtmlLibrary.php Add method scope visibility 2018-11-19 21:18:12 +00:00
LanguageLibrary.php build: Updating mediawiki/mediawiki-phan-config to 0.9.0 2019-12-31 20:46:17 +00:00
LibraryBase.php Add method scope visibility 2018-11-19 21:18:12 +00:00
LuaEngine.php Document a lot of methods 2020-01-17 23:03:03 +00:00
LuaError.php Document a lot of methods 2020-01-17 23:03:03 +00:00
LuaInterpreter.php Split all classes in own files 2019-12-21 10:20:18 +01:00
LuaInterpreterBadVersionError.php Split all classes in own files 2019-12-21 10:20:18 +01:00
LuaInterpreterNotFoundError.php Split all classes in own files 2019-12-21 10:20:18 +01:00
LuaModule.php Split all classes in own files 2019-12-21 10:20:18 +01:00
MessageLibrary.php Document a lot of methods 2020-01-17 23:03:03 +00:00
SiteLibrary.php build: Updating mediawiki/mediawiki-phan-config to 0.9.0 2019-12-31 20:46:17 +00:00
TextLibrary.php Add method scope visibility 2018-11-19 21:18:12 +00:00
TitleLibrary.php Record vary-page-id when ID is accessed via mw.title 2020-02-13 17:24:41 +00:00
UriLibrary.php Document a lot of methods 2020-01-17 23:03:03 +00:00
UstringLibrary.php build: Updating composer dependencies 2020-02-07 06:37:29 +00:00