| commit | 471637c571d5fc53b28ceb3887ed26dad971e897 | |
| author | Brad Jorsch <bjorsch@wikimedia.org> | |
| Mon, 18 Jan 2016 22:18:19 +0000 (18 17:18 -0500) | ||
| committer | Brad Jorsch <bjorsch@wikimedia.org> | |
| Sat, 30 Jan 2016 02:26:24 +0000 (29 21:26 -0500) | ||
| tree | 6da93163555ef8fdc9f2b11b0cc93e496112ba75 | treesnapshot (tar.gz zip) |
| parent | 18d790c863ea29211ee3638595fbc92212888688 | commitdiff |
When serializing Message, don't try to unstub StubUserLang
If the serialization is happening during PHP shutdown due to a Session
save, it can fatal because $wgLang is already gone.
Change-Id: I7d877be15ef8639f3b94b74bba763053ec289358
If the serialization is happening during PHP shutdown due to a Session
save, it can fatal because $wgLang is already gone.
Change-Id: I7d877be15ef8639f3b94b74bba763053ec289358
| includes/Message.php | diffblobblamehistory |