Merge "Deprecate wfShellWikiCmd()"

diff --combined RELEASE-NOTES-1.31
index 0ae6a83,8ec3b7d..312933b
--- 1/RELEASE-NOTES-1.31
--- 2/RELEASE-NOTES-1.31
+++ b/RELEASE-NOTES-1.31
@@@ -84,12 -84,6 +84,12 @@@ production
    extensions. Pass --with-extensions to enable that feature.
  * (T184791) rc_patrolled now has three states: "0" for unpatrolled,
    "1" for manually patrolled and "2" for autopatrolled actions.
 +* Extensions can now set their type to "editor" if they provide an editor
 +  or enhance the editing experience.
 +* Extensions can use a PSR-4 autoloader by setting an "AutoloadNamespaces" property
 +  in extension.json. See
 +  <https://www.mediawiki.org/wiki/Manual:Extension.json/Schema#AutoloadNamespaces>
 +  for more details and an example.
  
  === External library changes in 1.31 ===
  
@@@ -343,6 -337,8 +343,8 @@@ changes to languages because of Phabric
  * Wikimedia\Rdbms\SavepointPostgres is deprecated.
  * The DO_MAINTENANCE constant is deprecated. RUN_MAINTENANCE_IF_MAIN should be
    used instead.
+ * The function wfShellWikiCmd() has been deprecated, use
+   MediaWiki\Shell::makeScriptCommand().
  
  === Other changes in 1.31 ===
  * Browser support for Internet Explorer 10 was lowered from Grade A to Grade C.