jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/345503 )
Change subject: Added special properties... ...................................................................... Added special properties... ... from BlueSpiceTeamWork/FlaggedRevsConnecor. NEEDS CHERRY-PICK TO REL1_27! See ERM5789 for details. Change-Id: I2d0d8ef5191cec2132b82b630b417b83177b710b --- M build/release/build_tarballs.sh 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Mglaser: Looks good to me, approved jenkins-bot: Verified diff --git a/build/release/build_tarballs.sh b/build/release/build_tarballs.sh index ab39c36..029791f 100755 --- a/build/release/build_tarballs.sh +++ b/build/release/build_tarballs.sh @@ -167,7 +167,7 @@ ); \$GLOBALS[ 'bssSpecialProperties' ] = array( - '_RESPEDITOR', '_PARENTPAGE', '_CHECKLIST', '_PAGEASSIGN', '_REVIEW', '_SHOUTBOX', '_FLAGGEDREVSCONNECTOR' + '_RESPEDITOR', '_PARENTPAGE', '_CHECKLIST', '_PAGEASSIGN', '_REVIEW', '_SHOUTBOX', '_FRCDOCSTATE', '_FRCAPPROVALDATE', '_FRCAPPROVALUSER', '_FRCDOCVERSION' ); \$GLOBALS[ 'sespUseAsFixedTables' ] = true; -- To view, visit https://gerrit.wikimedia.org/r/345503 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I2d0d8ef5191cec2132b82b630b417b83177b710b Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/BlueSpiceSMWConnector Gerrit-Branch: master Gerrit-Owner: Robert Vogel <[email protected]> Gerrit-Reviewer: Ljonka <[email protected]> Gerrit-Reviewer: Mglaser <[email protected]> Gerrit-Reviewer: Pwirth <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
