Index: trunk/phase3/includes/Wiki.php |
— | — | @@ -385,7 +385,6 @@ |
386 | 386 | case 'watch': |
387 | 387 | case 'unwatch': |
388 | 388 | case 'delete': |
389 | | - case 'revert': |
390 | 389 | case 'rollback': |
391 | 390 | case 'protect': |
392 | 391 | case 'unprotect': |
Index: trunk/phase3/RELEASE-NOTES |
— | — | @@ -86,9 +86,10 @@ |
87 | 87 | * Compatibility with incorrectly detected old-style DJVU mime types |
88 | 88 | * (bug 11560) Fix broken HTML output from weird link nesting in edit comments. |
89 | 89 | Nested links (as in image caption text) still don't work _right_ but they're |
90 | | - less wrong. |
| 90 | + less wrong |
| 91 | +* (bug 11561) Don't throw a PHP fatal error when non-existent "revert" action |
| 92 | + attempted |
91 | 93 | |
92 | | - |
93 | 94 | === API changes in 1.12 === |
94 | 95 | |
95 | 96 | Full API documentation is available at http://www.mediawiki.org/wiki/API |