nullLockManager is defined in Setup.php.The code: LockManagerGroup::singleton()->get( 'nullLockManager' ); ... works fine in eval.php and is used in production.
-- View this message in context: http://wikimedia.7.n6.nabble.com/NullLockManager-and-the-math-extension-tp4995536p4995539.html Sent from the Wikipedia Developers mailing list archive at Nabble.com. _______________________________________________ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l