monster_menus 9.3.0

This release contains many fixes and improvements to MM's Search feature (MMTID/settings/search). When a search has results, various Actions can now be chosen:

• Display the results in a table
• Download the results as a CSV file
• Clean permissions - remove duplicated permissions
• Replace text - replace text in the body or title field of a node, optionally using a regular expression
• Execute PHP code - if permitted, the user can run arbitrary PHP code against the Node or MMTree object; requires the devel_php module
• Modify permissions - add/remove users and groups from permissions
• Modify group membership - add/remove group members

Other changes:

• Fix a JS dependency which could cause errors on page settings forms when aggregation is enabled
• Fix the HTML of the search form at /users
• Handle another edge case of URLs trying to access the root tree node
• Prevent PHP warnings when certain validation errors occur during copy/move page
• Fix a rare case where valid URLs could start to return a 404