improve log detail; change push page to MediaWiki:Common.js/dict