Merge "installer: Deprecate WebInstaller::getInfoBox, getWarningBox and getErrorBox"

diff --combined RELEASE-NOTES-1.34
index 8d9b06e,9e1e68d..0d6f1e1
--- 1/RELEASE-NOTES-1.34
--- 2/RELEASE-NOTES-1.34
+++ b/RELEASE-NOTES-1.34
@@@ -150,7 -150,6 +150,7 @@@ $wgPasswordPolicy['policies']['default'
  * Updated wikimedia/timestamp from 2.2.0 to 3.0.0.
  * Updated wikimedia/xmp-reader from 0.6.2 to 0.6.3.
  * Updated mediawiki/mediawiki-phan-config from 0.6.0 to 0.6.1 (dev-only).
 +* Updated wikimedia/avro from 1.8.0 to 1.9.0 (dev-only).
  * …
  
  ==== Removed external libraries ====
@@@ -576,6 -575,8 +576,8 @@@ because of Phabricator reports
  * Specifying a SpecialPage object for the list of special pages (either through
    the SpecialPage_initList hook or by adding to $wgSpecialPages) is now
    deprecated.
+ * WebInstaller::getInfoBox(), getWarningBox() and getErrorBox() are deprecated.
+   Use Html::errorBox() or Html::warningBox() instead.
  * Use of ActorMigration with 'ar_user', 'img_user', 'oi_user', 'fa_user',
    'rc_user', 'log_user', and 'ipb_by' is deprecated. Queries should be adjusted
    to use the corresponding actor fields directly. Note that use with