mediawiki-extensions-WikiEd.../modules
Schnark 522331ddda Wikieditor: Rework deferred building of toolbar
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
2015-08-14 13:11:39 +00:00
..
images Updated insert-signature image 2015-07-14 08:31:17 +00:00
templates WikiEditor: Move HTML for dialogs to separate files 2015-08-14 13:07:27 +00:00
ext.wikiEditor.dialogs.js Peserve jQuery references to avoid conflicts 2013-11-06 23:34:46 +01:00
ext.wikiEditor.js Reduce 'Edit' EventLogging schema sampling rate to 6.25% (1/16th) 2015-06-18 16:39:29 -07:00
ext.wikiEditor.less Convert .css to .less 2015-03-09 21:24:23 -04:00
ext.wikiEditor.preview.js Peserve jQuery references to avoid conflicts 2013-11-06 23:34:46 +01:00
ext.wikiEditor.publish.js Peserve jQuery references to avoid conflicts 2013-11-06 23:34:46 +01:00
ext.wikiEditor.toolbar.js Peserve jQuery references to avoid conflicts 2013-11-06 23:34:46 +01:00
ext.wikiEditor.toolbar.styles.less Convert .css to .less 2015-03-09 21:24:23 -04:00
jquery.wikiEditor.dialogs.config.js WikiEditor: Move HTML for dialogs to separate files 2015-08-14 13:07:27 +00:00
jquery.wikiEditor.dialogs.config.less Rework color definitions in LESS 2015-04-14 21:39:04 +00:00
jquery.wikiEditor.dialogs.js WikiEditor: Move HTML for dialogs to separate files 2015-08-14 13:07:27 +00:00
jquery.wikiEditor.dialogs.less Rework color definitions in LESS 2015-04-14 21:39:04 +00:00
jquery.wikiEditor.html Style code 2015-03-14 15:49:04 +00:00
jquery.wikiEditor.js Remove unused parameter lang from $.wikiEditor.auto* functions 2015-06-22 07:08:54 +00:00
jquery.wikiEditor.less Rework color definitions in LESS 2015-04-14 21:39:04 +00:00
jquery.wikiEditor.preview.js Use mw.Api() instead of $.ajax() 2015-01-07 18:25:47 +00:00
jquery.wikiEditor.preview.less Rework color definitions in LESS 2015-04-14 21:39:04 +00:00
jquery.wikiEditor.publish.js Reformat the license warning only if available 2015-03-14 18:10:52 +00:00
jquery.wikiEditor.toolbar.config.js Replace hidesig module with a more robust implementation 2015-08-05 13:59:00 +10:00
jquery.wikiEditor.toolbar.js Wikieditor: Rework deferred building of toolbar 2015-08-14 13:11:39 +00:00
jquery.wikiEditor.toolbar.less Fix spaces 2015-07-20 07:12:45 +00:00