Hashar has submitted this change and it was merged. Change subject: enhance DefaultSettings.php documentation ......................................................................
enhance DefaultSettings.php documentation This tweak our doxygen documentation for the DefaultSettings.php. Some paragraphs were simply reformatted, some received additions. To nicely render examples, I used the following snippet: @par Example: @code // some code there @endcode That replaces all the <code> occurences. Replaced some notes and warnings with @note and @warning to output a nicely formatted box in our HTML documentation. Change-Id: Iea8d4e46eac2d971af43d47499d121d0c4e2bff3 --- M includes/DefaultSettings.php 1 file changed, 582 insertions(+), 326 deletions(-) Approvals: Hashar: Verified; Looks good to me, approved jenkins-bot: Verified -- To view, visit https://gerrit.wikimedia.org/r/14876 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Iea8d4e46eac2d971af43d47499d121d0c4e2bff3 Gerrit-PatchSet: 3 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Hashar <[email protected]> Gerrit-Reviewer: Aaron Schulz <[email protected]> Gerrit-Reviewer: Hashar <[email protected]> Gerrit-Reviewer: Nikerabbit <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
