Gary Pendergast 61ee6d9fa7 Nav Menus: Fix a PHP 7.3 error when switching themes. ...

When switching themes, `wp_map_nav_menu_locations()` is used to ensure nav menus are placed in the relevant menu location. Occasionally, menus are registered to locations with numeric slugs, rather than strings. `wp_map_nav_menu_locations()` assumed it would be the latter, and ran `stripos()` on those numeric slugs. This behaviour is deprecated in PHP 7.3.

As this is the last known PHP 7.3 incompatibility, this commit also removes PHP 7.3 from Travis' `allowed_failures` list.

Props desrosj, jorbin.
See #45018.



git-svn-id: https://develop.svn.wordpress.org/branches/5.0@43899 602fd350-edb4-49c9-b593-d223f7449a82

2018-11-15 23:19:40 +00:00

..

phpunit

Nav Menus: Fix a PHP 7.3 error when switching themes.

2018-11-15 23:19:40 +00:00

qunit

REST API: Avoid using 'parent' as path argument name for autosaves.

2018-11-15 12:56:54 +00:00