mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-09-24 02:40:14 +00:00
522331ddda
Currently sections of the toolbar can be built deferred. This is done for the help section and the special characters. The disadvantage is, that you can't modify such sections before they are really loaded. This patch modifies the behavior by doing the following: * Toolbars are always built directly. After all, deferring isn't used there anyway in the standard configuration. * When a booklet is requested to be built only when it's needed, the index and all pages will be built immediately, only the content of the pages is deferred and built only when it is needed. Even on slow machines building all pages immediately doesn't cause noticeable pauses, in fact, opening a page with special characters seems even faster because only the page you need is built, not all pages. Since all pages exist from beginning, you can remove and add pages from user scripts. It is still not possible to modify an existing page (add or remove a row to a help page, add or remove a character, unless it is the page that was opened last time), but this is something that shouldn't be needed very often, so it should be acceptable that it still doesn't work. Bug: T25479 Bug: T70791 Change-Id: I0e61b1fd4f6139a251e53a1fac28b3821bc6b860 |
||
---|---|---|
i18n | ||
modules | ||
tests/qunit | ||
.gitignore | ||
.gitreview | ||
.jshintrc | ||
composer.json | ||
COPYING | ||
extension.json | ||
Gruntfile.js | ||
package.json | ||
README | ||
WikiEditor.hooks.php | ||
WikiEditor.php |
# WikiEditor provides enhancements to the MediaWiki edit page # This extension requires MediaWiki 1.17+ because it makes use of ResourceLoader. # Example LocalSettings.php additions require_once( "$IP/extensions/WikiEditor/WikiEditor.php" ); # Before configuring this extension, see WikiEditor.php and become familiar with the initial state and structure of the # $wgWikiEditorFeatures configuration variable. Essentially it's an array of arrays, keyed by feature name, each # containing global and user keys with boolean values. "global" indicates that it should be turned on for everyone # always, while user indicates that users should be allowed to turn it on or off in their user preferences. # To enable a preference by default but still allow users to disable it in preferences, use something like... $wgDefaultUserOptions['usebetatoolbar'] = 1; $wgDefaultUserOptions['usebetatoolbar-cgd'] = 1; # Release 1.21 removes the $wgWikiEditorToolbarClickTracking config variable # and with it support for tracking clicks on WikiEditor features via the # ClickTracking extension.